agda
apkg - package manager for Agda
Agda grammar for tree-sitter
An experimental Agda kernel for Jupyter