Give AlbumentationsX a star on GitHub — it powers this leaderboard

tree-sitter/tree-sitter-agda

Agda grammar for tree-sitter

Stars: 42Language: Yacc

View on GitHub Owner: tree-sitter

tree-sitter/tree-sitter-agda - GitHub Repository | PyPI Leaderboard