Agda formalisation of the Introduction to Homotopy Type Theory
Language Server for Agda
Agda bindings to SMT-LIB2 compatible solvers.
A slow-paced introduction to reflection in Agda. ---Tactics!
The theory of algebraic graphs formalised in Agda
A workshop on learning Agda with minimal prerequisites.
PhD research ;; What's the difference between a typeclass/trait and a re...
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics...
agda-mode on Atom
A formalization of category theory in cubical Agda
Like "Write Yourself a Scheme in 48 Hours", but in Agda
Modeling Ancient Greek Grammar
A TACtic library for Agda
A Logical Relation for Martin-Löf Type Theory in Agda
A fast, easy-to-use ring solver for agda with step-by-step solutions