Powerful nominal types for your Typescript project
Towards changing things and see if it proofs
Placeholder for the OwO compiler
An extension to PUMPKIN PATCH with support for proof repair across type ...
Literate program notes from reading 'TDD with Idris' book comparing Idri...
A TACtic library for Agda
Minimalistic dependent type theory with syntactic metaprogramming
Resources for "The Little Typer" study group
dependent types meets deep learning
ML modules and functors as first-class citizens by unifying ML modules a...
Leibniz equivalence and Liskov substitutability library for Scala.
Temporary repository for Kind2's refactor based on HVM2
IntelliJ plugin for several experimental programming languages here
Dependently typed convolutional neural networks
Type-level well-kinded natural numbers.