rov

该信任最小化的零知识跨链协议专为抗审查、极高安全性和去中心化金融应用场景而设计。

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

您需要的认证胶水。

互联网级OpenID Certified™ OpenID Connect与OAuth2.1提供商，通过无头API与您的用户管理系统集成。

精选的优质 Kubernetes 资源列表 🚢🎉

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

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

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

Apereo CAS - 为所有地球人和其他人提供身份和单点登录。

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

AWS Provider 使 Terraform 能够管理 AWS 资源

支持可插拔连接器的OpenID Connect身份认证与OAuth 2.0授权提供方

用于上下文和负责任的人工智能系统的图本机基础设施

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

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

Azure资源管理器的Terraform提供商

OpenTelemetry .NET 客户端

在真实且隔离的机器（自己的内核、文件系统和网络）上运行 AI 代理，启动时间小于 100 毫秒。本地优先、OCI 兼容、纯 Rust。

在回滚文件与SQLite状态之间同步Codex会话提供程序元数据。

一个自动化服务器生命周期的应用程序

通用插件规范社区仓库

每个 E2B 堆栈背后的运行时：云、企业和您自己的机器。

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

Cloudflare Terraform 提供商