GitHub repository: latte-central/LaTTe
Primary language: Clojure
Description: LaTTe : a Laboratory for Type Theory experiments (in clojure)