react
Featured
react
React is a JavaScript library for building user interfaces with declarative, component-based, and cross-platform design.
AI repository intelligence
FR-AI / ANALYSISWhy it is worth attention
It improves performance over traditional regex-based highlighting (e.g., Coqtail) and provides a concrete CST that unlocks editor features like text objects, folding, and structural navigation.
Who it is for
- Neovim users who write Rocq/Coq code
- Rocq/Coq learners following Software Foundations
- Editor plugin developers seeking efficient syntax highlighting
Use cases
- Enable syntax highlighting in Neovim via tree-sitter
- Implement custom text objects and code folding in editors
- Power structural navigation and code analysis tools
- Serve as a foundation for future Rocq tooling
Strengths
- Performance gains over regex-based alternatives like Coqtail
- Concrete CST enables more advanced editor features beyond highlighting
- Actively developed alongside real-world usage (Software Foundations)
- Open to community contributions and feedback
Considerations
- Not full language coverage; Rocq's Notation system makes 100% coverage impractical
- Experimental; breaking changes may occur between commits
- Several known missing or incomplete rules (e.g., Eval, Coercion, Module)
README quick start
Usage
Description
Rocq (formerly Coq) grammar for Tree-sitter.
Related repositories
Similar projects matched by category, topics, and programming language.
tandpfun
Featured
wardrobe
A GPT‑image powered app that extracts individual garment cutouts from photos, organizes them into a digital wardrobe, and generates modeled outfit previews.
mshumer
Featured
Claude-of-Duty
A browser-based first-person shooter built entirely with procedural generation and orchestrated AI agents, featuring 55k lines of Three.js/WebGL2 code and no art assets.