Tree Sitter Rocq

github.comtool

Partial Rocq tree-sitter grammar useful for syntax highlighting in text editors like Helix, but not recommended for full parsing of Rocq code.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   tree-sitter-hcl github.com

   tool category #terraform link ↗

   HCL grammar for tree-sitter

2. ▲
   Rocqnavi github.com

   tool category #coq link ↗

   Fork of coq2html that adds indexes, clickable notations, Markdown and LaTeX formatting in comments, and more.

   
3. ▲
   tree-sitter-cl-syntax codeberg.org

   site category #cl link ↗
   
4. ▲
   tree-sitter/tree-sitter github.com

   tool category #rust link ↗

   A parser generator tool and an incremental parsing library geared towards programming tools

   
5. ▲
   tree-sitter-commonlisp github.com

   tool category #cl link ↗
   
6. ▲
   Roc github.com

   tool category #elm link ↗
   

Coq › Projects > User Interfaces: “Partial Rocq tree-sitter grammar useful for syntax highlighting in text editors like Helix, but not recommended for full parsing of Rocq code.”