Bat | Tree Sitter Agda | |
---|---|---|
Stars | 44,818 | 28 |
Downloads | ||
Dependent Packages | 54 | 1 |
Dependent Repos | 1 | 1 |
Most Recent Commit | 4 months ago | 8 months ago |
Total Releases | 39 | 20 |
Latest Release | October 11, 2023 | September 16, 2020 |
Open Issues | 250 | 8 |
License | apache-2.0 | mit |
Programming Language | Rust | Yacc |