GitHub repository: tdyydt/GTLC
Primary language: OCaml
Description: An interpreter of Gradually Typed Lambda Calculus (GTLC)