GitHub repository: melt-umn/lambda-calculus
Primary language: SystemVerilog
Description: An implementation of the lambda calculus using term rewriting in Silver