agda topic
List
agda repositories
dicy
21
Stars
2
Forks
Watchers
A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
agda-ring-solver
38
Stars
4
Forks
Watchers
A fast, easy-to-use ring solver for agda with step-by-step solutions
agda-calf
51
Stars
4
Forks
Watchers
A cost-aware logical framework, embedded in Agda.
agda-mode
26
Stars
4
Forks
Watchers
Accessing Agda's interaction mode via command line & external tactic for Agda.
categories
147
Stars
26
Forks
Watchers
Categories parametrized by morphism equality, in Agda
agda-language-server
95
Stars
17
Forks
Watchers
Language Server for Agda
agda-mode-vscode
164
Stars
37
Forks
Watchers
agda-mode on VS Code
cat
53
Stars
4
Forks
Watchers
A formalization of category theory in cubical Agda