rocq/rocq-prover
rocq
Rocq Prover的Docker镜像，基于Debian 12 Slim和opam 2.x，提供便捷的形式化证明环境，支持稳定版（如9.1、9.0）和开发版（dev）等多种标签，适用于本地开发与CI场景。
2 次收藏5万+ 次下载7 天前更新
caprover/caprover
caprover
CapRover是一款极易使用的应用/数据库部署与Web服务器管理工具，支持NodeJS、Python、PHP等多种应用及MySQL、MongoDB等数据库，基于Docker、nginx等技术，通过简洁界面提供快速、稳定的服务器管理功能。
30 次收藏1亿+ 次下载4 个月前更新
caprover/cli-caprover
caprover
CapRover CLI工具的Docker镜像，用于自动化部署和管理应用，支持服务器配置、应用部署等操作。
10万+ 次下载29 天前更新
caprover/caprover-edge
caprover
该镜像是推送时自动构建的版本，主要用于测试，同时作为简易的应用/数据库部署平台，支持NodeJS、Python、PHP、Ruby、Go等应用，无需Docker和nginx知识即可快速部署。
2 次收藏10万+ 次下载1 个月前更新
caprover/certbot-sleeping
caprover
修改自certbot/certbot的Docker镜像，通过调整启动配置解决原镜像立即退出问题，支持作为Docker服务持续运行，便于在容器环境中管理SSL证书。
1亿+ 次下载1 年前更新
caprover/nginx-reverse-proxy
caprover
使用nginx和Docker的非常简单的反向代理
1000万+ 次下载8 个月前更新
caprover/nginx-redirect
caprover
使用nginx和Docker的极简重定向工具，可快速实现域名流量重定向，支持多域名配置及HTTPS，适用于创建域名别名场景。
100万+ 次下载1 年前更新
postfinance/kubelet-csr-approver
postfinance
kubelet-csr-approver 是一个 Kubernetes 控制器，用于自动批准 kubelet-serving 证书签名请求（CSR），通过可配置的提供商特定检查验证请求合法性，防止攻击者伪造证书，增强集群证书管理安全性。
1 次收藏10万+ 次下载1 个月前更新
risczero/risc0-groth16-prover
risczero
暂无描述
1万+ 次下载11 个月前更新
reprover/keycloak
reprover
暂无描述
1.8千+ 次下载2 年前更新
yrocq/wordpress
yrocq
暂无描述
147 次下载5 年前更新
jasonsgross/rocq-lean-translation-lf
jasonsgross
暂无描述
1万+ 次下载1 个月前更新
jasonsgross/rocq-lean-translation-flocq
jasonsgross
暂无描述
1万+ 次下载7 天前更新
第 1 页