Popular repositories Loading

1. lean4_autograder lean4_autograder Public

   Lean 6

2. leanInk-sphinx-test leanInk-sphinx-test Public

   Forked from hrmacbeth/leanInk-sphinx-test

   Small Sphinx project with Lean 4 code, for testing with Alectryon

   Pascal

3. tree-sitter-python tree-sitter-python Public

   Forked from tree-sitter/tree-sitter-python

   Python grammar for tree-sitter

   JavaScript

4. tree-sitter-powershell tree-sitter-powershell Public

   Forked from airbus-cert/tree-sitter-powershell

   Powershell grammar for tree-sitter

   JavaScript

5. tree-sitter-c-sharp tree-sitter-c-sharp Public

   Forked from tree-sitter/tree-sitter-c-sharp

   C# Grammar for tree-sitter

   JavaScript

6. tree-sitter-rust tree-sitter-rust Public

   Forked from tree-sitter/tree-sitter-rust

   Rust grammar for tree-sitter

   JavaScript