49 Open Source Agda Software Projects
Free and open source agda code projects including engines, APIs, generators, and tools.
Typetopology 70 ⭐
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Next 700 Module Systems 62 ⭐
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
Generic Syntax 50 ⭐
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Dicy 22 ⭐
A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
Universe Of Syntax 14 ⭐
A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
Razvan Flavius Panda Blog 14 ⭐
Software engineering and artificial general intelligence blog of Răzvan Flavius Panda