A fast linear programming solver library.
Mixed Integer Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.
A library for constructing and analyzing read-write quorum systems
samkhya: sketches, LpBound envelopes, Puffin sidecars, and residual correctors for cardinality estimation
SANOS: Smooth strictly Arbitrage-free Non-parametric Option Surfaces (Rust implementation)