Trending in open source
See what the GitHub 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
-
Cryptographic Constructions in the Type Theory of Agda
-
Programming library for Agda
-
The Spire Programming Language
-
being the materials for CS410 Advanced Functional Programming in the 2015/16 session
-
A workshop on learning Agda with minimal prerequisites.
-
Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
-
Miller/pattern unification in Agda
-
Modeling Ancient Greek Grammar
-
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
-
The proof of undecidability of halting problem, using the model -- WHILE language.
-
My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
-
An implementation of a first-order auto tactic for Agda, in Agda.
