dependent-types topic
List
dependent-types repositories
gidti
74
Stars
4
Forks
Watchers
Book: Introduction to Dependent Types with Idris
pnp
154
Stars
17
Forks
Watchers
Lecture notes for a short course on proving/programming in Coq via SSReflect.
convoluted
34
Stars
1
Forks
Watchers
Dependently typed convolutional neural networks
mlang
60
Stars
3
Forks
Watchers
Towards changing things and see if it proofs
differentiable-idris
42
Stars
7
Forks
Watchers
dependent types meets deep learning
Beluga
179
Stars
16
Forks
Watchers
Contextual types meet mechanized metatheory!
lambdapi
262
Stars
35
Forks
Watchers
Proof assistant based on the λΠ-calculus modulo rewriting
FStar
2.6k
Stars
233
Forks
Watchers
A Proof-oriented Programming Language
pikelet
607
Stars
25
Forks
Watchers
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
fathom
257
Stars
14
Forks
Watchers
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧