GitHub repository: justinfargnoli/lamb
Primary language: Rust
Description: An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html