rv

零知识模板库

将应用部署至 Cloud Run 并支持自定义域名映射

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

@vlang语言服务器，满足您所有编辑需求，如跳转到定义、代码补全、类型提示等功能。

一个用于在生产环境中运行AI Foundry工作负载的安全、可扩展且集成化的部署方案。

Apache Pekko 的流优先 HTTP 服务器/模块

用于定义通用堡垒主机的Terraform模块，支持参数化用户数据，并可通过AWS SSM会话管理器实现基于IAM认证的远程访问。

🏞 支持 Codable 的多部分编码数据解析与序列化。

实现通过ALB暴露Web服务的ECS服务的Terraform模块

Centreon是一款网络、系统和应用程序监控工具。

用于创建AWS EventBridge资源的Terraform模块

Chisel RISC-V 向量 0 实现

在AWS上配置自动伸缩组和启动模板的Terraform模块

PrestaShop技术文档

官方 1Password Helm 图表

从KubeRocketCI（即EPAM交付平台）主页开始。

Nhost Dart 与 Flutter 包

用于计算心电图信号心率变异性指标的Matlab工具箱

🌎 实用工具包，包含字节操作、Codable、操作系统API及调试工具。

基于Kotlin多平台库的OpenTelemetry规范实现

为NHS设计和构建数字服务。使用服务手册创建一致、可用且以人为本的服务。借鉴其他NHS团队的研究成果与经验。

通过Edgehog一次性轻松管理您的物联网设备集群，获取设备状态信息、部署更新、定位设备等更多功能。

现代化平台环境 • 此仓库通过Terraform定义和管理

为团队提供结构化、可审计的AI辅助开发。零依赖MCP服务器、Web仪表板及多提供商AI命令行工具支持。