allisterb 


  • 2,302 total downloads
  • last updated 2/7/2016
  • Latest version: 0.1.0
  • Versioning Sprache
.NET semantic version parsing and querying written in C# using the Sprache parser.
Alpheus is a parser and query tool for system and server configuration files. Alpheus parses and transforms configuration files into an XML representation which can then be queried using XPATH.
Alpheus is a parser and query tool for system and server configuration files. Alpheus parses and transforms configuration files into an XML representation which can then be queried using XPATH.
NVIDIA CUDA Toolkit redistributable native Windows x64 dependencies for use with the Compute.Bindings.CUDA package. The DLL files will be automatically copied to your project output directory.
.NET bindings for the TensorFlow 2 C API. These are low-level bindings suitable for creating high-level idiomatic interfaces to TensorFlow 2 in languages like C# and F#.
  • 756 total downloads
  • last updated 1/3/2019
  • Latest version: 0.1.2
ML library in F# demo
  • 607 total downloads
  • last updated 1/29/2020
  • Latest version: 0.2.3
  • type-level
Sylvester number-parameterized collection types. These collection types can perform static verification of lengths and indices as long as some information about these values is available at compile time.
  • 291 total downloads
  • last updated 7/27/2019
  • Latest version: 0.1.2
Sylvester data access library
TensorFlow 2.0 native Windows x64 library dependency for the Sylvester project. The DLL will be automatically copied to your project's output directory on build.
TensorFlow 2.0 native Linux x64 library dependency for the Sylvester project. The DLL will be automatically copied to your project's output directory on build.
  • 110 total downloads
  • last updated 6/24/2020
  • Latest version: 0.1.0-alpha (prerelease)
  • math logic theorem prover
Nymph is a natural language theorem prover that uses natural language to state and write proofs of logical and mathematical theorems.