A type theory based theorem proving library
OTHER License
Statistics for this project are still being loaded, please check back later.
A language with dependent types
type level sets
Examples using dependent types for mathematical proofs at the type level
A model abstraction library
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Convert Haskell source code to Coq source code.
tools for writing better type errors
repository for talks I'm giving
Agda is a dependently typed programming language / interactive theorem prover.
Repository for technical reviews I do
Haskell implementation of https://github.com/datacrypt-project/hitchhiker-tree
This package includes (some) type definitions for objects which are consumed or produced by the G...
Haskell [re]implementation of Hap, a simple event-based programming language.
An authenticated AVL+ tree implementation in Haskell