Trending in open source
See what the GitHub community is most excited about this month.
Sign up for free to get started
-
liamoc / learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
-
HoTT / HoTT-Agda
Development of homotopy type theory in Agda
-
agda / agda-stdlib
The Agda standard library
-
copumpkin / categories
Categories parametrized by morphism equality, in Agda
-
williamdemeo / TypeFunc
Resources for type theory, functional programming, etc.
-
jstolarek / why-dependent-types-matter
Companion code for "Why Dependent Types Matter" paper.
-
pigworker / CS410-14
being the materials for CS410 Advanced Functional Programming in the 2014-15 session
-
dlicata335 / hott-agda
-
UlfNorell / agda-summer-school
Summer school on programming in Agda
-
spire / spire
The Spire Programming Language
-
pigworker / CS410-15
being the materials for CS410 Advanced Functional Programming in the 2015/16 session
-
crypto-agda / crypto-agda
Cryptographic Constructions in the Type Theory of Agda
-
UlfNorell / agda-prelude
Programming library for Agda
-
Saizan / miller
Miller/pattern unification in Agda
-
pigworker / CS410-13
being the notes and materials for CS410 in the 2013/14 academic session
-
agda / agda-frp-ltl
An implementation of Functional Reactive Programming
-
pigworker / Pivotal
-
pcapriotti / agda-base
Base library for HoTT in Agda
-
rodrigogribeiro / agda-software-foundations
Porting of software foundations book to Agda
-
favonia / homotopy
My old Agda code for Homotopy Type Theory. See HoTT/HoTT-Agda for the new one.
-
bobatkey / sorting-types
Typed DSLs for sorting
-
gallais / aGdaREP
Implementing grep in Agda
-
ZongzheYuan / HaltingProblem
The proof of undecidability of halting problem, using the model -- WHILE language.
-
pigworker / Totality
being the programs and code for a paper about general recursion
-
ezyang / lr-agda
Logical relations proof in Agda