allisterb 

.NET bindings for the Intel MKL library.

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

Versatile parsing and querying software version strings.

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.

High-level functional and verifiable TensorFlow 2.0 API.

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

Efficient, powerful data frames for .NET

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

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

F# language-integrated proof assistant.

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.

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

Linear algebra types with type-level numeric dimensions

A static analyzer and formal verifier for Stratis smart contracts

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.

Unofficial .NET library for the Modzy MLOps platform. https://www.modzy.com/