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.

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

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

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