allisterb 

Type-level natural number arithmetic and constraints using fixed-point decimal types.

.NET bindings for the Intel MKL library.

Versatile parsing and querying software version strings.

High-level functional and verifiable TensorFlow 2.0 API.

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.

.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.

.NET bindings for the NVIDIA CUDA toolkit

Efficient, powerful data frames for .NET

F# Library for defining, exploring and proving concepts in abstract algebra.

F# language-integrated proof assistant.

ML library in F# demo

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#.

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.

Linear algebra types with type-level numeric dimensions

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.

Nymph is a natural language theorem prover that uses natural language to state and write proofs of logical and mathematical theorems.