code

适用于Rocq/Coq的Visual Studio Code扩展和语言服务器协议 [维护者=@gbdrt,@SkySkimmer,@tabareau]

基于Tree-sitter和Neovim主题的语法高亮器。

面向AI编程助手（Claude Code、Codex）的本地优先桌面应用。

用于创建 S3 存储桶的 Terraform 模块，可选择为外部 CI/CD 系统创建 IAM 用户

从您的手机控制您的 Pi 编码代理。与一次性二维码配对并与您当地的代理聊天 - 即使您不在计算机旁边。

克利福德电路、图态及其他量子稳定子形式化工具。

Besom——一个用于Scala的Pulumi SDK。顺便提一下，也是一种用枝条捆扎在棍棒上制成的扫帚。扫帚和Besom用于保护、驱邪以及净化仪式空间。

生成一切（专注于研究型软件）

> 从这里开始您的贡献之旅。

一个全栈AI帮助台平台，利用机器学习、自然语言处理和OCR技术自动分析支持请求、检测相似事件，并帮助团队更快解决技术问题。

功能完整的自托管Codex网关，适用于团队、智能体和个人

设计极简，明确支持多语言，经过生产环境验证且久经考验的配置与“工具”集合，专为您的Claude代码智能体开发工作流打造：包含MCP、配置、技能、智能体等。

StorySparkAI是一个开源平台，专为创意人士设计，用于从单一提示词生成并分享多种故事变体。

CSpell 命令行拼写检查工具

学习实用技巧，借助 Claude Code 优化你的 AI 辅助开发工作流。

将功能请求转化为可评审的拉取请求：问题、实现、测试、评审修复循环和文档。可在本地或GitHub Actions上运行，专为复杂的棕地仓库构建。每周回顾会读取你实际合并的内容，并为你的技能扩展提出改进建议。

一个可滚动的终端复用器，用于追踪您的AI编码代理。

免费开发工具、数据库工具、CSV处理器、应用程序与仪表板 | App-Generator.dev

将terraform计划文件转换为人类可读的Markdown格式，以便更轻松地审查拉取请求中的变更

CodeForge 是一款轻量级、高性能的桌面代码执行器，专为开发者、学生和编程爱好者设计。CodeRunner 的替代品。

https://docs.appsmith.com 文档镜像库，提交 Pull Request 至本仓库以更新文档

轻量级多功能IPTV播放器，支持多平台。

⚙️ 轻松将项目本地设置（如 .vscode/settings.json）加载到 Neovim 0.11+ 原生 LSP 设置中。

链式意图开发——一种面向智能体编程的SDD方法论