PyPI Stats
Insights
PyPI
GitHub
Search
Compare
Advisories
Ecosystem
About
Home
Search Packages
Find Python packages by name, description, GitHub topic, or filter by metrics
Relevance
Downloads (Month)
Downloads (Week)
Stars
Forks
Last Commit
Name
Descending
Ascending
All Maintenance
Active
Stable
Minimal
At Risk
Archived
All Licenses
Permissive
Copyleft
Proprietary
Unknown
Match all topics
agda-pkg
apkg - package manager for Agda
3K
38
7
tree-sitter-agda
Agda grammar for tree-sitter
724
45
19
agda-kernel
A rudimentary Jupyter kernel for Agda
577
25
3
