dependent-types topic
gidti
Book: Introduction to Dependent Types with Idris
pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
convoluted
Dependently typed convolutional neural networks
mlang
Towards changing things and see if it proofs
differentiable-idris
dependent types meets deep learning
Beluga
Contextual types meet mechanized metatheory!
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
FStar
A Proof-oriented Programming Language
pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧