rocq/rocq-prover
Rocq Prover的Docker镜像，基于Debian 12 Slim和opam 2.x，提供便捷的形式化证明环境，支持稳定版（如9.1、9.0）和开发版（dev）等多种标签，适用于本地开发与CI场景。
2 星标50K+ 次下载
上次更新：未知
caprover/caprover
CapRover是一款极易使用的应用/数据库部署与Web服务器管理工具，支持NodeJS、Python、PHP等多种应用及MySQL、MongoDB等数据库，基于Docker、nginx等技术，通过简洁界面提供快速、稳定的服务器管理功能。
30 星标100M+ 次下载
上次更新：未知
caprover/cli-caprover
CapRover CLI工具的Docker镜像，用于自动化部署和管理应用，支持服务器配置、应用部署等操作。
0 星标100K+ 次下载
上次更新：未知
caprover/caprover-edge
该镜像是推送时自动构建的版本，主要用于测试，同时作为简易的应用/数据库部署平台，支持NodeJS、Python、PHP、Ruby、Go等应用，无需Docker和nginx知识即可快速部署。
2 星标100K+ 次下载
上次更新：未知
caprover/certbot-sleeping
See https://hub.docker.com/r/certbot/certbot/
0 星标100M+ 次下载
上次更新：未知
caprover/nginx-reverse-proxy
使用nginx和Docker的非常简单的反向代理
0 星标10M+ 次下载
上次更新：未知
caprover/nginx-redirect
A very simple redirector using nginx and Docker
0 星标1M+ 次下载
上次更新：未知
postfinance/kubelet-csr-approver
kubelet-csr-approver 是一个 Kubernetes 控制器，用于自动批准 kubelet-serving 证书签名请求（CSR），通过可配置的提供商特定检查验证请求合法性，防止攻击者伪造证书，增强集群证书管理安全性。
1 星标100K+ 次下载
上次更新：未知
risczero/risc0-groth16-prover
暂无描述
0 星标10K+ 次下载
上次更新：未知
jasonsgross/rocq-lean-translation-lf
暂无描述
0 星标10K+ 次下载
上次更新：未知
第 1 页
咨询镜像拉取问题请 提交工单，官方技术交流群：1072982923
轩辕镜像面向开发者与科研用户，提供开源镜像的搜索和访问支持。所有镜像均来源于原始仓库，本站不存储、不修改、不传播任何镜像内容。