GitHub repository: yallop/fomega
Primary language: OCaml
Description: System Fω interpreter for use in Advanced Functional Programming course