Linear algebra foundation for the Rust programming language
- linear-algebra
- matrix
- rust
Repository Index
83,087 visible repositories in the index
1–5 of 5 · Most stars
A simple and fast linear algebra library for games and graphics
- rust
- simd
- 3d-math-libraries
- sse2
Creusot helps you prove your Rust code is correct.
- rust-lang
- verification
- proof
- formal-verification
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
- cae
- cfd
- computational-mechanics
- explicit-dynamics
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust