agda
Agda grammar for tree-sitter
apkg - package manager for Agda
An experimental Agda kernel for Jupyter
Measure what a formal library assumes: Rocq, Agda and Isabelle, from source, with nothing built
