Filter by
(2)
TAS is a K8s extender that makes intelligent scheduling decisions based on policies
2y
10K+
Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project
4m
1M+
13
Operator designed to expose and utilize Intel specific power management technologies in Kubernetes
2y
10K+
Dependencies for Polyspace Bug Finder Server and Polyspace Code Prover Server
2d
10K+
Drone plugin image for building/publishing Grafana images
6y
10K+
istio/distroless provides a base distroless image for all Istio images
14h
1M+
6
Official build of EFF's Certbot with its plugin for doing DNS challenges using DigitalOcean.
3h
1M+
21
[Docker Pipeline] Auxiliary image used by the Docker Pipeline service
9y
10K+
A small docker based tool to load Spring Boot property files into Consul K/V Store
2y
1M+
9