GitHub repository: pro465/rhokell
Primary language: Rust
Description: rho calculus + haskell thrown into the mixer