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