Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
tree-sitter
Fetched on 2024/06/29 03:02
tree-sitter
/
tree-sitter-agda
Agda grammar for tree-sitter -
View it on GitHub
Star
32
Rank
579154
