GitHub repository: stedolan/mlsub
Primary language: OCaml
Description: Prototype type inference engine