Mathematics

razor-chase implements a variation of The Chase algorithm to find models for theories in geometric form.

razor is a command-line tool for constructing finite models for first-order theories.

razor-fol is a library for parsing and syntactic manipulation of first-order theories.

This library provides Polygamma function.

Tensor library with OpenCL acceleration

Control systems toolbox

A base for bicubic interpolation

An implementation of the modified akima spline interpolation

the open-source formal methods toolchain - command-line interface

literally thrown together to solve problems on a math paper

A powerful AI/ML framework is under development

Isochronous implementation of GF(2^8) arithmetic

A multi-threaded, arbitrary precision implementation of the Solovay-Strassen primality test.

Markov chain steady-state calculations with applications in graph clustering and sequencing.

graphical interface for the glucose library

Generic piecewise function trait and impls.

A Rust implementation of propagator networks for constraint propagation and bidirectional computation

Forward auto-differentiation, allowing its user to manage memory location and minimize copying.

Ferric L2 — a general N-dimensional tensor runtime on the GPU fabric: arbitrary rank, strided views, broadcasting, general reductions, batched matmul (dtypes + autograd next).

Rust crate providing const trig functions

Pure untyped lambda calculus in safe Rust.

3D linear algebra

the open-source formal methods toolchain - SMT abstraction layer - proc macros

the open-source formal methods toolchain - basic support functionality - proc macros

unsigned int <-> Vec<bool>, plus various helper functions

the open-source formal methods toolchain - basic support functionality

the open-source formal methods toolchain - input/output and parsing utilities

the open-source formal methods toolchain - SMT abstraction layer

A library for dealing with 3D mathematical vectors

A simple multi-armed bandit implementation

the open-source formal methods toolchain

Rust implementation of the BFGS algorithm built on the GNU Scientific Library(GSL).

miniKANREN in Rust

Procedural Macro for Geometric Products of Any Dimension

Benchmarks for big integer implementations

coprolite research (paleontology and archaeology): estimate the producer's body mass based on coprolite diameter by the use of regression models

Algorithmic trading for quantitative financial applications

DSP real time audio synthesis, effect algorithms and utilities for Rust

Approximate all-nearest-neighbour search over neighbourhood graphs, SIMD-accelerated, with optional Python bindings.

A simple dice rolling lib for RPG purposes.

HIGHS backend for mosekcomodel

A trait for approximate equality of types

A generic, portable implementation of Luby's “reluctant doubling” sequence.

PISS (Picture Secret Steganography) is a command line tool to encode/decode secrets into/from image files

Python bindings for num-dual: Generalized (hyper) dual numbers for the calculation of exact (partial) derivatives

A Rust crate with sparse matrix data structures

Raw FFI to METIS, the serial graph partitioner and fill-reducing matrix orderer

P-adic numbers in Rust

A parser for dotnet petri networks

Algorithmic trading for quantitative financial applications