本站面向开发者与科研用户，提供开源镜像的搜索和下载加速服务。
所有镜像均来源于原始开源仓库，本站不存储、不修改、不传播任何镜像内容。
Docker镜像搜索：rocq-prover - 轩辕镜像平台
rocq-prover 相关Docker镜像搜索结果（共7个）
rocq-prover 搜索结果统计说明
rocq-prover 搜索提示
rocq-prover 官方镜像筛选
rocq-prover 官方镜像列表
rocq-prover 官方镜像筛选说明
rocq-prover 认证发布者镜像筛选
rocq-prover 认证镜像列表
rocq-prover 认证镜像筛选说明
rocq-prover 相关镜像列表
rocq-prover 镜像卡片展示
rocq-prover 镜像详情说明
加载更多 rocq-prover 镜像
加载更多 rocq-prover 按钮
加载提示
rocq/rocq-prover
by Inria
Rocq Prover的Docker镜像，基于Debian 12 Slim和opam 2.x，提供便捷的形式化证明环境，支持稳定版（如9.1、9.0）和开发版（dev）等多种标签，适用于本地开发与CI场景。
2 星标50K+ 次下载
上次更新：10 小时前
caprover/caprover
by caprover
CapRover是一款极易使用的应用/数据库部署与Web服务器管理工具，支持NodeJS、Python、PHP等多种应用及MySQL、MongoDB等数据库，基于Docker、nginx等技术，通过简洁界面提供快速、稳定的服务器管理功能。
30 星标100M+ 次下载
上次更新：30 天前
caprover/cli-caprover
by caprover
CapRover CLI工具的Docker镜像，用于自动化部署和管理应用，支持服务器配置、应用部署等操作。
0 星标100K+ 次下载
上次更新：1 个月前
caprover/caprover-edge
by caprover
该镜像是推送时自动构建的版本，主要用于测试，同时作为简易的应用/数据库部署平台，支持NodeJS、Python、PHP、Ruby、Go等应用，无需Docker和nginx知识即可快速部署。
2 星标100K+ 次下载
上次更新：7 天前
caprover/nginx-reverse-proxy
by caprover
使用nginx和Docker的非常简单的反向代理
0 星标10M+ 次下载
上次更新：5 个月前
postfinance/kubelet-csr-approver
by postfinance
kubelet-csr-approver 是一个 Kubernetes 控制器，用于自动批准 kubelet-serving 证书签名请求（CSR），通过可配置的提供商特定检查验证请求合法性，防止攻击者伪造证书，增强集群证书管理安全性。
1 星标100K+ 次下载
上次更新：27 天前
risczero/risc0-groth16-prover
by risczero
暂无描述
0 星标10K+ 次下载
上次更新：8 个月前
第 1 页