GitHub repository: silkvine/abstract-calculus
Primary language: Rust
Description: A programming language and model of computation that matches the abstract algorithm perfectly.