Small equation-solving primitives for RustUse
FFI bindings to bdd_minisat_all, a BDD-based AllSAT solver
Nonlinear solvers for Numra: Newton-Raphson with line search, analytical or finite-difference Jacobians.
Binary that integrates XLS capabilities into a driver program
High-performance nonlinear least squares optimization with Lie group support for SLAM and bundle adjustment
Hyperreal-backed planar curves, contours, and regions for CAD topology
HVDC power flow: LCC and VSC converters, multi-terminal DC (MTDC)
Mathematical utilities for the Convex fixed income analytics library
Audit-grade interest-rate yield curve bootstrap and interpolation in pure Rust. Single- and multi-curve (OIS-discounted), discount/zero/forward/par views, full primary-source derivations. Zero dependencies.
A mathematics library for embedded scientific computation.
An educational computor project solving polynomial equations.
Pure-Rust numerical algorithms library — high performance with SIMD support while also supporting no-std for embedded and WASM targets.