Provable-contracts-first Rust port of Di Pierro's nlib numerical algorithms - View it on GitHub