react
精选
react
React is a JavaScript library for building user interfaces with declarative, component-based, and cross-platform design.
AI 仓库情报摘要
FR-AI / ANALYSIS为什么值得关注
它比传统的基于正则表达式的高亮方案（如 Coqtail）性能更好，并提供了具体的 CST，从而可以实现文本对象、代码折叠和结构导航等编辑器功能。
适合谁使用
- 编写 Rocq/Coq 代码的 Neovim 用户
- 学习《软件基础》的 Rocq/Coq 学习者
- 寻求高效语法高亮的编辑器插件开发者
典型使用场景
- 在 Neovim 中通过 tree-sitter 实现语法高亮
- 在编辑器中实现自定义文本对象和代码折叠
- 支持结构导航和代码分析工具
- 作为未来 Rocq 工具链的基础
项目优势
- 性能优于基于正则表达式的替代方案，如 Coqtail
- 具体的 CST 支持超越高亮的更高级编辑器功能
- 随着实际使用（《软件基础》）而持续开发
- 欢迎社区贡献和反馈
使用前须知
- 未覆盖全部语言；Rocq 的 Notation 系统使得 100% 覆盖不切实际
- 实验阶段；提交之间可能发生重大变更
- 存在若干已知缺失或不完整的规则（如 Eval、Coercion、Module）
README 快速开始
Usage
项目描述
Rocq (formerly Coq) grammar for Tree-sitter.
相关仓库与替代方案
根据分类、Topic 和编程语言匹配的相似项目。
tandpfun
精选
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
精选
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.