rov

一款跨平台桌面应用程序，用于管理和切换Claude Code与Codex的供应商配置及MCP服务器。

一款跨平台桌面应用程序，用于管理和切换Claude Code与Codex的供应商配置及MCP服务器。

你需要的认证粘合层。

学习Vim与Vimscript并非难事。这正是您寻找的指南📖

ArduPlane、ArduCopter、ArduRover、ArduSub飞行器控制源码

Canopy Network协议的官方Go语言实现

一款开箱即用、支持主流框架的PHP部署工具

AWS Provider 使 Terraform 能够管理 AWS 资源

响应式缓存与数据绑定框架。Riverpod让异步代码处理变得轻松自如。

⌥ 终端AI编程代理——基于哈希锚定的编辑、优化的工具集、LSP、Python、浏览器、子代理等

Rocq证明器是交互式定理证明器（或称证明助手），提供形式化语言来编写数学定义、可执行算法和定理，并配备半交互式开发机器验证证明的环境

Doorkeeper是Ruby on Rails/Grape框架的OAuth 2身份认证提供器

Visual Studio Code 图标集

Azure资源管理器的Terraform提供商

OpenTelemetry .NET 客户端

自动检测并跳过Jellyfin中的片头片尾序列

为Lawnchair启动器添加主题化图标

通用插件规范社区仓库

Cloudflare Terraform 提供商

为E2B云提供动力的基础设施。

生产就绪的AI聊天模板。从此处开始，将其定制为您自己的项目。前身为Sparka AI

Login.gov 核心应用：身份提供商

Neovim 对 Lean 定理证明器的支持

Terraform AWS云控制提供商