Filter by
(2)
Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project
5m
1M+
13
Assemblyline 4 service for ApiScout
1d
1M+
Bigcapital-migration, verified and packaged by Elestio
7h
10K+
istio/distroless provides a base distroless image for all Istio images
15h
1M+
6
Integrated QAT stack with OpenSSL, which can provide the benchmark for typical ciphers performance.
3y
10K+
1
Official JetBrains Code With Me Lobby server image.
2y
10K+
6
Assemblyline 4 service for Elfparser
11d
1M+
Intel Out-Of-Band Manageability App for Azure
4y
10K+
Official build of EFF's Certbot with its plugin for doing DNS challenges using DigitalOcean.
5h
1M+
21
Used in Nomad-Vault integration guide
8y
10K+
1
A small docker based tool to load Spring Boot property files into Consul K/V Store
2y
1M+
9
A file server/proxy to be used with the Form.io File component
8y
10K+
An image used to initialize a device and prepare for it for ownership transfer via FDO
4y
10K+