See what the CodeGayHub community is most excited about today.
Sign up for free to get started
Learn you an Agda (and achieve enlightenment)
Development of homotopy type theory in Agda
The Agda standard library
Categories parametrized by morphism equality, in Agda
Companion code for "Why Dependent Types Matter" paper.
being the materials for CS410 Advanced Functional Programming in the 2014-15 session
Summer school on programming in Agda
Programming library for Agda
Cryptographic Constructions in the Type Theory of Agda
The Spire Programming Language
being the materials for CS410 Advanced Functional Programming in the 2015/16 session
Port of Software Foundations to Agda
A workshop on learning Agda with minimal prerequisites.
Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
Modeling Ancient Greek Grammar
Miller/pattern unification in Agda
A formalization of the polymorphic lambda calculus extended with iso-recursive types
being the notes and materials for CS410 in the 2013/14 academic session
An implementation of Functional Reactive Programming
Porting of software foundations book to Agda
Base library for HoTT in Agda
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Observational Type Theory as an Agda library