Faer Rs | Verified Integer Gaussian Elimination | |
---|---|---|
Stars | 1,062 | 8 |
Downloads | ||
Dependent Packages | 14 | |
Dependent Repos | ||
Most Recent Commit | 6 months ago | 6 years ago |
Total Releases | 22 | |
Latest Release | December 08, 2023 | |
Open Issues | 11 | 10 |
License | mit | other |
Programming Language | Rust | Idris |