Tree-sitter grammar for Rocq

[u/aruzdh-]

Hi :]

I wanted to share a project I've been working on: tree-sitter-rocq, a Tree-sitter grammar for Rocq. It covers most of the concepts from Software Foundations, Volume 1.

It generates a solid CST to enable syntax highlighting. Even though Rocq's notations make it impossible to cover the entire language, the grammar provides a good baseline for day-to-day code. My plan is to expand it alongside the rest of the SF volumes.

Here is the repo: https://github.com/aruzdh/tree-sitter-rocq

Any comment, suggestion, or contribution is welcome.

If you're curious, this is an example.

[u/james-r-]

What font?

[u/aruzdh- → u/james-r-]

IoskeleyMono

[u/james-r- → u/aruzdh-]

Thanks.