GitHub repository: Bastacyclop/psiml
Primary language: Clojure
Description: a prototype language with subtyping polymorphism and type inference