(2)
Dependencies for Polyspace Bug Finder Server and Polyspace Code Prover Server
4d
10K+
AppDynamics Repository for Python agent installation in container
1m
10K+
Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project
9h
1M+
12
PostgreSQL with the pgcrypto extension, for DSpace 7+
20h
1M+
6
This is the collection of Docker images that are built by the Primes project CI.
5d
1M+
[Docker Pipeline] Auxiliary image used by the Docker Pipeline service
9y
10K+
Assemblyline 4 Portable Executable analysis service
22h
1M+
Bigcapital-migration, verified and packaged by Elestio
1m
10K+
Helper image container gitlab-runner-helper supported on more arches then the official image
2y
1M+
8
Official JetBrains Code With Me Lobby server image.
3y
10K+
6
Assemblyline 4 Executable and Linkable Format analysis service
22h
1M+
istio/distroless provides a base distroless image for all Istio images
17m
1M+
6