Trending
See what the GitHub community is most excited about today.
-
Learn you an Agda (and achieve enlightenment)
-
Development of homotopy type theory in Agda
-
The Agda standard library
-
Introduction to programming language theory in Agda.
-
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
-
Categories parametrized by morphism equality, in Agda
-
ECMAScript back end for Functional Reactive Programming in Agda
-
Companion code for "Why Dependent Types Matter" paper.
-
-
Programming library for Agda
-
being the materials for CS410 Advanced Functional Programming in the 2014-15 session
-
Summer school on programming in Agda
-
The Evolution of a Typechecker
-
Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
-
A workshop on learning Agda with minimal prerequisites.
-
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
-
A formalization of the polymorphic lambda calculus extended with iso-recursive types
-
-
Miller/pattern unification in Agda
-
Modeling Ancient Greek Grammar
-
Observational Type Theory as an Agda library
-
An implementation of Functional Reactive Programming
-
The theory of algebraic graphs formalised in Agda
