Markup | Tree Sitter Agda | |
---|---|---|
Stars | 5,731 | 28 |
Downloads | ||
Dependent Packages | 507 | 1 |
Dependent Repos | 4,840 | 1 |
Most Recent Commit | 5 months ago | 9 months ago |
Total Releases | 62 | 20 |
Latest Release | May 10, 2022 | September 16, 2020 |
Open Issues | 311 | 8 |
License | mit | mit |
Programming Language | Ruby | Yacc |