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.
COnstraint Based Reconstruction and Analysis (COBRA) in Rust
samkhya: sketches, LpBound envelopes, Puffin sidecars, and residual correctors for cardinality estimation
LP optimization for solar system size based on consumption data
Computer-aided molecular and process design using the FeOs framework.
FBA / pFBA / gap-filling via good_lp + HiGHS for gapseq
EqMap: Technology Mapping w/ E-Graphs
Safe rust bindings for the HiGHS linear programming solver. See http://highs.dev.
Verification and Statistics on Deep Neural Networks
Logic optimization library
SANOS: Smooth strictly Arbitrage-free Non-parametric Option Surfaces (Rust implementation)
Mint security scoring library for evaluating Solana tokens across liquidity, holder distribution, authority controls, and trust signals