GitHub repository: Guest0x0/normalization-bench
Primary language: OCaml
Description: Benchmarking various normalization algorithms for the lambda calculus