There are 33 repositories under agda topic.
An introductory course to Homotopy Type Theory
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Lecture notes on univalent foundations of mathematics with Agda
Logical manifestations of topological concepts, and other things, via the univalent point of view.
A curated set of links to formal methods involving provable code.
Agda formalisation of the Introduction to Homotopy Type Theory
A SuperCompiler for Martin-Löf's Type Theory
A slow-paced introduction to reflection in Agda. ---Tactics!
A workshop on learning Agda with minimal prerequisites.
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
A toolkit for enforcing logical specifications on neural networks
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
A cost-aware logical framework, embedded in Agda.
Like "Write Yourself a Scheme in 48 Hours", but in Agda
Modeling Ancient Greek Grammar
Proof automation – for Agda, in Agda.
A fast, easy-to-use ring solver for agda with step-by-step solutions
Basics of the dependently-typed functional language Agda ^_^
Source material for Certainty by Construction