Tailspin | Tree Sitter Agda | |
---|---|---|
Stars | 4,449 | 28 |
Downloads | ||
Dependent Packages | 1 | |
Dependent Repos | 1 | |
Most Recent Commit | 4 months ago | 8 months ago |
Total Releases | 13 | 20 |
Latest Release | November 19, 2023 | September 16, 2020 |
Open Issues | 3 | 8 |
License | mit | mit |
Programming Language | Rust | Yacc |