There are 33 repositories under agda topic.
An introductory course to 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.
A SuperCompiler for Martin-Löf's Type Theory
Agda formalisation of the Introduction to Homotopy 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
A fast, easy-to-use ring solver for agda with step-by-step solutions
Proof automation – for Agda, in Agda.
Basics of the dependently-typed functional language Agda ^_^
IO using sized types and copatterns