coqorg/coq

Rocq-community

Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project

rucio/rucio-daemons

rucio

Rucio - Scientific Data Management (Daemon Container, For Public Use)

mathworks/polyspace-deps

MathWorks

Dependencies for Polyspace Bug Finder Server and Polyspace Code Prover Server

hashicorp/learn-website

HashiCorp, an IBM Company

a docker image for building learn.hashicorp.com

docker/vpnkit-expose-port

Docker, Inc.

The utility used to expose host ports in Docker for Desktop

appdynamics/python-agent-init

AppDynamics

AppDynamics Repository for Python agent installation in container

istio/tcp-echo-server

istio

A simple TCP Echo Server written in Golang

acuvity/mcp-server-context-7

Acuvity Inc.

Context7 MCP - Up-to-date Docs For Any Cursor Prompt.

apache/age

The Apache Software Foundation

Apache AGE

kasmweb/oracle-7-desktop

Kasm Technologies

Oracle Linux 7 desktop for Kasm Workspaces

openebs/cstor-pool-mgmt

openebs

Kubernetes Operator to manage cStor Pool Operations.

elestio/itop

Elestio

Itop, verified and packaged by Elestio

jhipster/jdl-studio

JHipster

JDL Studio is the offline JHipster Domain Language visual editor

elestio/bigcapital-mariadb

Elestio

Bigcapital-mariadb, verified and packaged by Elestio

pgrouting/pgrouting

pgRouting

pgRouting Docker images.

intel/afxdp-plugins-for-kubernetes

Intel Corporation

A Kubernetes device plugin and CNI plugin that delivers AF_XDP networking to Kubernetes pods.

docker/compose-bridge-kompose

Docker, Inc.

Example to show you how to use existing transformation process as a compose-bridge transformer

acuvity/mcp-server-vizro

Acuvity Inc.

provides tools and templates to create a functioning Vizro chart or dashboard step by step

vitess/vtctl

Cloud Native Computing Foundation

vitess/vtctl

It is a pod in your k8s cluster which will take care of your complex deployments for you.

elestio/vikunja

Elestio

Vikunja, verified and packaged by Elestio

selenium/router

Selenium

Selenium Grid in Router mode

OHDSI WebAPI

femtopixel/google-lighthouse

FemtoPixel

Google Lighthouse - Docker Image

docker/pipeline_unpacker

Docker, Inc.

[Docker Pipeline] Auxiliary image used by the Docker Pipeline service

eclipse/che-remote-plugin-runner-java8

The Eclipse Foundation

che-remote-plugin-runner-java8

openwhisk/action-nodejs-v10

Apache Software Foundation

Apache OpenWhisk runtime for Node.js v10 Actions