agda topic
agda-unimath
The agda-unimath library
cornelis
agda-mode for neovim
next-700-module-systems
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
agda
The theory of algebraic graphs formalised in Agda
agdarsec
Total Parser Combinators in Agda
gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
generic-syntax
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
schmitty
Agda bindings to SMT-LIB2 compatible solvers.
agda-from-nothing
A workshop on learning Agda with minimal prerequisites.
frp_agda
Functional Reactive Programming with Agda