ecaxpr
Tiny expressions-based language for elementary cellular automata simulation
Rust
1
mipl
Minimal Imperative Parsing Library | https://docs.rs/mipl
Rust
rspeano
Compile-time construction of Peano axioms-based natural numbers and addition, multiplication, and exponentiation defined through them within Rust. (Mirrored from Codeberg)
Rust
1