搜索结果:tree-sitter(7 个)
按分类缩小范围
zed (高性能多人协作代码编辑器)
综合 37
由 Atom 与 Tree-sitter 团队打造的高性能多人协同代码编辑器。
Trail-Code
综合 81
为团队中 Claude Code、Cursor 等代码智能体提供共享记忆与决策上下文。
ast-grep
综合 63
使用 Rust 编写的 CLI 工具,用于代码结构化搜索、Lint 和重写。
tree-sitter
综合 63
专为编程工具设计的快速增量语法解析系统。
flow
综合 59
Flow Control:一款面向程序员的文本编辑器。
difftastic
综合 57
能理解代码语法的结构化 diff 代码对比工具。
tamarin-prover
综合 42
Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例,并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。