{"id":13762446,"url":"https://github.com/tree-sitter/tree-sitter-agda","last_synced_at":"2025-04-06T06:08:59.280Z","repository":{"id":45893803,"uuid":"124983550","full_name":"tree-sitter/tree-sitter-agda","owner":"tree-sitter","description":"Agda grammar for tree-sitter","archived":false,"fork":false,"pushed_at":"2024-11-11T06:47:41.000Z","size":32565,"stargazers_count":34,"open_issues_count":11,"forks_count":16,"subscribers_count":7,"default_branch":"master","last_synced_at":"2025-03-30T05:05:24.462Z","etag":null,"topics":["agda","context-free-grammar","syntax-highlighting","tree-sitter"],"latest_commit_sha":null,"homepage":"","language":"Yacc","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tree-sitter.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-03-13T02:57:30.000Z","updated_at":"2024-12-30T14:06:01.000Z","dependencies_parsed_at":"2024-01-17T16:59:25.754Z","dependency_job_id":"44e6abb3-d7ca-4354-bccc-f06d1e85c570","html_url":"https://github.com/tree-sitter/tree-sitter-agda","commit_stats":{"total_commits":227,"total_committers":7,"mean_commits":32.42857142857143,"dds":"0.10132158590308371","last_synced_commit":"d3dc807692e6bca671d4491b3bf5c67eeca8c016"},"previous_names":[],"tags_count":15,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tree-sitter%2Ftree-sitter-agda","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tree-sitter%2Ftree-sitter-agda/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tree-sitter%2Ftree-sitter-agda/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tree-sitter%2Ftree-sitter-agda/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tree-sitter","download_url":"https://codeload.github.com/tree-sitter/tree-sitter-agda/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247441052,"owners_count":20939239,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["agda","context-free-grammar","syntax-highlighting","tree-sitter"],"created_at":"2024-08-03T14:00:43.547Z","updated_at":"2025-04-06T06:08:59.261Z","avatar_url":"https://github.com/tree-sitter.png","language":"Yacc","funding_links":[],"categories":["Grammars"],"sub_categories":["Tree Sitter Org"],"readme":"# Agda Grammar for tree-sitter\n\n[![CI][ci]](https://github.com/tree-sitter/tree-sitter-agda/actions/workflows/ci.yml)\n[![discord][discord]](https://discord.gg/w7nTvsVJhm)\n[![matrix][matrix]](https://matrix.to/#/#tree-sitter-chat:matrix.org)\n[![crates][crates]](https://crates.io/crates/tree-sitter-agda)\n[![npm][npm]](https://www.npmjs.com/package/tree-sitter-agda)\n\nSyntax highlighting and code folding done right (with context-free grammar, finally!)\n\n![tree-sitter](https://i.imgur.com/7Pfmqjv.png)\n\n## How to contribute\n\n- [documentation](http://tree-sitter.github.io/tree-sitter/)\n\nInstall dependencies:\n\n```bash\nnpm install\n```\n\nTo see if you have `tree-sitter` installed:\n\n```bash\nnpx tree-sitter\n```\n\nTo generate the parser:\n\n```bash\nnpx tree-sitter generate\n```\n\nRun test to see if everything's okay:\n\n```bash\nnpm test\n```\n\nYou may wanna run this on the [language-agda](https://github.com/banacorn/language-agda)'s side:\n\n```bash\nnpm install\napm rebuild\n```\n\n[ci]: https://img.shields.io/github/actions/workflow/status/tree-sitter/tree-sitter-agda/ci.yml?logo=github\u0026label=CI\n[discord]: https://img.shields.io/discord/1063097320771698699?logo=discord\u0026label=discord\n[matrix]: https://img.shields.io/matrix/tree-sitter-chat%3Amatrix.org?logo=matrix\u0026label=matrix\n[npm]: https://img.shields.io/npm/v/tree-sitter-agda?logo=npm\n[crates]: https://img.shields.io/crates/v/tree-sitter-agda?logo=rust\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftree-sitter%2Ftree-sitter-agda","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftree-sitter%2Ftree-sitter-agda","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftree-sitter%2Ftree-sitter-agda/lists"}