Lists (3)
Starred repositories
15
stars
written in Agda
Clear filter
An introduction to programming language theory in Agda
ECMAScript back end for Functional Reactive Programming in Agda
Showing how some simple mathematical theories naturally give rise to some common data-structures
An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
AACMM's generic-syntax, but with QTT-style annotations
An implementation of (some fragment of) cubical type theory using rewrite rules, based on a talk given by Conor McBride at the 23rd Agda's Implementor's Meeting.