A monotonic solver designed to be easy to use with Rust enum expressions
A game engine for generic puzzle design and problem solving
An undirected graph constraint solver for node and edge colors
A linear solver designed to be easy to use with Rust enum expressions
A fast, brute force, automatic theorem prover for first order logic
Category Theory Solver for Commutative Diagrams
An experimental implementation of Avatar Logic with a Prolog-like syntax
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 memory-safe interior point optimizer in Rust
VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds.
Hyperreal-backed planar curves, contours, and regions for CAD topology
Higher mathematics library — linear algebra, geometry, calculus, and numerical methods for Rust