ecsolticia.bsky.social

PUNCHCARD 60 commits

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

ACTIVITY

2 months ago

created 28 commits
created 1 repository
ecaxpr
Rust

3 months ago

created 32 commits
created 2 repositories
mipl
Rust
rspeano
Rust