GitHub repository: ymyzk/lambda-rti
Primary language: OCaml
Description: Interpreter of the ITGL with runtime type inference