GitHub repository: kit-ty-kate/labrys
Primary language: OCaml
Description: A toy language based on LLVM that implements the System Fω type-system