sarah-quinones/faer-rs
Linear algebra foundation for the Rust programming language
Repositories
sarah-quinones/pulp
sarah-quinones/creusot
Creusot helps you prove your Rust code is correct.
sarah-quinones/gemm
sarah-quinones/aligned-vec
sarah-quinones/faer-ext
`faer-rs` API for interoperability with external libraries.
sarah-quinones/spindle
sarah-quinones/reborrow
sarah-quinones/verus-analyzer
A Verus compiler front-end for IDEs (derived from rust-analyzer)
sarah-quinones/coe-rs
sarah-quinones/equator
sarah-quinones/verus
Verified Rust for low-level systems code
sarah-quinones/qd
sarah-quinones/libassert
The most over-engineered C++ assertion library
sarah-quinones/diol
sarah-quinones/estra
sarah-quinones/nano-gemm
sarah-quinones/gemm-x64-v2
sarah-quinones/facet
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
sarah-quinones/fastdiv
sarah-quinones/facet-json
JSON serialization & deserialization for facet
sarah-quinones/facet-deserialize
Generic, iterative deserialization support for facet
sarah-quinones/veg
sarah-quinones/dotfiles
sarah-quinones/NPB-Rust
NPB-Rust: NAS Parallel Benchmarks in Rust