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