Skip to content
GitLab
Explore
Sign in
A
agda
Language
Any
Batchfile
C
C#
C++
CMake
CSS
Cuda
Dockerfile
Go
HTML
Java
JavaScript
Jinja
Jupyter Notebook
Makefile
PHP
Python
Ruby
Rust
SCSS
Shell
Swift
TSX
TypeScript
Vue
Projects with this topic
Sort by:
Updated date
Sort by
Updated date
Name
Name, descending
Oldest updated
Oldest created
Last created
Most stars
Hide archived projects
Show archived projects
Show archived projects only
View Tree Sitter Agda project
mirrored_repos / tree-sitter /
Tree Sitter Agda
🔧
🔗
https://github.com/tree-sitter/tree-sitter-agda
Agda grammar for tree-sitter
tree-sitter
syntax-highl...
agda
+ 1 more
context-free...
0
Updated
Aug 30, 2025
0
0
0
0
Updated
Aug 30, 2025
