v

APALACHE：TLA+和Quint的符号模型检查器

适用于 Neovim LSP 客户端的 Clangd 非规范功能扩展。请改用 https://sr.ht/~chinmay/clangd_extensions.nvim

为Neovim LSP客户端提供的Clangd非规范功能扩展，请改用https://sr.ht/~chinmay/clangd_extensions.nvim

Plan-Apply-Unify Loop — Structured AI-assisted development for Claude Code. Quality over speed-for-speed's-sake.

增强高亮搜索功能的极简插件

Zig语言的Vim配置

一款为Rails模型和路由文件添加注解的Ruby Gem

WordPress的ActivityPub插件

Enzyme自动微分器的Julia语言绑定

Open-source incident management tool with an AI SRE agent that watches your logs, learns normal patterns, and auto-creates incidents — plus webhook alerts, multi-channel notifications, and on-call escalation.

一款基于C语言编写的GameBoy Advance游戏《索尼克进化2》的反编译与移植版本

多语言BLS12-381签名算法库

SonarQube MCP 服务器

专为Neovim打造的Metals插件

从自动化创意工厂到实现

致力于索引所有 Ruby 事件。

SplitWire-Turkey，一款采用多种方法的网络限制绕过工具。

支持元数据的槽位式库存系统

VictoriaMetrics、VictoriaLogs及其生态系统的Helm charts

Neovim 中的 CMake 集成

用于安装、管理及排查运行 Cilium 的 Kubernetes 集群的命令行工具

Vim缓冲区资源管理器插件

专为 Neovim 设计的插件，通过 TypeScript 编译器实现无缝异步的全项目类型检查。

OneSignal是面向移动应用的免费推送通知服务。该插件可轻松将原生iOS应用与OneSignal集成。https://onesignal.com