Login

u/aruzdh-

r/Coq r/neovim r/study
Tree-sitter grammar for (pre-release 0.2.0)
▲ 63 r/Coq+1 crossposts

Tree-sitter grammar for (pre-release 0.2.0)

Hi! Me again :]
I'd love to share my progress on tree-sitter-rocq

https://github.com/aruzdh/tree-sitter-rocq

Pre-release 0.2.0 focuses on mirroring some rules from the official reference manual, so anybody who wants to contribute or give it a look can have a better understanding by following the official grammar.

Plus, I'm currently working on (SF) Imp and (SF) Hoare Logic! This will be a great improvement, especially for those who use SF to learn Rocq.

Here is a preview of those features. Any suggestions, comments, or stars on GitHub would mean a lot!

u/aruzdh- — 5 days ago
▲ 5 r/neovim

Tree-sitter grammar for Rocq (Coq)

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.

Any comment, suggestion, or contribution is welcome.
If you're curious, there’s an example in the README

github.com
u/aruzdh- — 24 days ago
▲ 12 r/Coq

Tree-sitter grammar for Rocq

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.

https://preview.redd.it/cr2wcwea1tfh1.png?width=2880&format=png&auto=webp&s=bfebd13f0ba5a7e2dbeac90f81dab437be62c9f5

reddit.com
u/aruzdh- — 24 days ago