dependent-types
Here are 256 public repositories matching this topic...
Implementation of Martin-Löf Type Theory in Haskell
-
Updated
Feb 20, 2016 - Haskell
A workshop on learning Agda with minimal prerequisites.
-
Updated
May 26, 2016 - Agda
Lennart Augustsson's lamda cube
-
Updated
Jul 13, 2016 - Haskell
Answers to the exercises in the Lean tutorial
-
Updated
Oct 8, 2016 - Lean
A compiler from a simple imperative language to SPIM, a dialect of MIPS assembly (WIP)
-
Updated
Oct 27, 2016 - Idris
dependently typed Statebox (heavy WIP)
-
Updated
Nov 2, 2016 - Idris
Messing around with propositional logic in Agda
-
Updated
Nov 11, 2016 - Agda
Simplistic implementation of dependently typed lambda calculus
-
Updated
Dec 28, 2016 - Haskell
Agda from Nothing: Order in the Types
-
Updated
Jan 23, 2017 - Agda
A Dependently Typed Functional Programming Language
-
Updated
Feb 13, 2017 - Haskell
📖 Working through Type-Driven Development with Idris
-
Updated
Mar 29, 2017 - Idris
Exam project for "Programming with dependent types using Idris" course
-
Updated
Apr 8, 2017 - Idris
Calvin Talks Types
-
Updated
Apr 10, 2017 - TeX
Experiments in dependent type inference
-
Updated
Apr 26, 2017 - Haskell
Concatenative dependently-typed functional programming language
-
Updated
Apr 28, 2017 - Haskell
Improve this page
Add a description, image, and links to the dependent-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dependent-types topic, visit your repo's landing page and select "manage topics."