GitHub repository: tkaden4/lambda-calculus
Primary language: TypeScript
Description: An implementation of the lambda calculus in typescript, along with an interactive evaluator.