GitHub repository: nw-rs/rcas
Primary language: Rust
Description: CAS (Computer Algebra System) written in Rust for no_std environments.