GitHub Trending Topics Languages Repositories Users Organizations

/

tree-sitter tree-sitter-agda

Public

Watch0 Fork19 Star47

Code Issues Pull requests Insights

HEAD

READMEMIT license

No README is available through GitHub.

About

Agda grammar for tree-sitter

tree-sitter context-free-grammar syntax-highlighting agda

Readme
MIT license
Activity
47 stars
0 watching
19 forks

Contributors

View all contributors

See what the GitStar community is most excited about today.

Trending

GitHub Trending Today GitHub Trending Weekly GitHub Trending Monthly

Languages

Browse all languages Trending Python Trending JavaScript

Explore

Browse repositories Browse users Browse organizations Browse GitHub topics

© 2026 GitStarJobStar GitHub Trending source