Sparse symmetric indefinite direct solver in pure Rust, with certified inertia counts.
Hammering code for a polished foundation.
Loom — a programming language for safe-by-construction software. Recipes with first-class effects, refinement types, and a zero-dep Loom → Rust → rustc → run pipeline.
A CLI tool to generate Vega-Lite specifications.
Undefines the 'refine' method from Module
Undefines the 'refine' method from Module safely