allisterb 

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

Versatile parsing and querying software version strings.

.NET bindings for the Intel MKL library.

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.

.NET semantic version parsing and querying written in C# using the Sprache parser.

High-level functional and verifiable TensorFlow 2.0 API.

Efficient, powerful data frames for .NET

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

.NET bindings for the NVIDIA CUDA toolkit

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.

F# language-integrated proof assistant.

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

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.

A static analyzer and formal verifier for Stratis smart contracts

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.

A .NET client library for TigerGraph