This is stars and forks stats for /tree-sitter/tree-sitter-agda repository. As of 06 May, 2024 this repository has 28 stars and 13 forks.
Agda Grammar for tree-sitter Syntax highlighting and code folding done right (with context-free grammar, finally!) How to contribute documentation Install dependencies: npm install To see if you have tree-sitter installed: npx tree-sitter To generate the parser: npx tree-sitter generate Run test to see if everything's okay: npm test You may wanna run this on the language-agda's side: npm install apm rebuild
Agda Grammar for tree-sitter Syntax highlighting and code folding done right (with context-free grammar, finally!) How to contribute documentation Install dependencies: npm install To see if you have tree-sitter installed: npx tree-sitter To generate the parser: npx tree-sitter generate Run test to see if everything's okay: npm test You may wanna run this on the language-agda's side: npm install apm rebuild
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| csutorasa/XOutput | C#TypeScriptJavaScript | 953 | 0 | 82 | 0 |
| timeplus-io/proton | C++PythonAssembly | 164 | 0 | 4 | 0 |
| H4K3R13/The-Hello-World-Project | SchemeAssemblyWitcher Script | 24 | +5 | 51 | +9 |
| hai046/JNIFrame | DC++Java | 0 | 0 | 1 | 0 |
| giacomocavalieri/prng | GleamErlangJavaScript | 6 | 0 | 0 | 0 |
| ardanlabs/gotour | GoCSSHTML | 62 | 0 | 36 | 0 |
| Questra-Digital/ts-micro-app | HCLTypeScriptCSS | 0 | 0 | 30 | 0 |
| lakesoul-io/LakeSoul | JavaScalaRust | 1.7k | 0 | 364 | 0 |
| BrowserBox/BrowserBox | JavaScriptCSSHTML | 2.8k | +10 | 269 | +3 |
| Significant-Gravitas/AutoGPT | JavaScriptPythonJupyter Notebook | 150.4k | 0 | 33.9k | 0 |