PyRank

Agda Python Packages

Python packages with the GitHub topic agda. Sorted by relevance, with stars and monthly downloads.
agda
agda-pkg

apkg - package manager for Agda

3K 38 7
tree-sitter
tree-sitter-agda

Agda grammar for tree-sitter

1K 45 19
lclem
agda-kernel

An experimental Agda kernel for Jupyter

654 25 3