Collection of ATS goodness
Access Scala language features on the type-level
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ ...
Malfunction backend for Idris with a FFI to OCaml
A Teeny Type Theory
🧊 Модальний гомотопічний верифікатор математики