Mycli | Tree Sitter Agda | |
---|---|---|
Stars | 11,154 | 28 |
Downloads | ||
Dependent Packages | 1 | |
Dependent Repos | 1 | |
Most Recent Commit | 5 months ago | 9 months ago |
Total Releases | 15 | 20 |
Latest Release | September 02, 2022 | September 16, 2020 |
Open Issues | 207 | 8 |
License | other | mit |
Programming Language | Python | Yacc |