GitHub repository: objectionary/phie
Primary language: Rust
Description: Experimental Emulator of a Machine that Understands 𝜑-calculus