coqorg/coq

Rocq-community

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

edirom/vife-meigarage-webclient

edirom

The ViFE web client for MEIGarage

apache/age

The Apache Software Foundation

Apache AGE

openebs/cstor-pool-mgmt

openebs

Kubernetes Operator to manage cStor Pool Operations.

dockurr/umbrel

dockurr

umbrelOS inside a Docker container.

fiaas/skipper

Schibsted

Skipper controls deployment and updates of FIAAS components

jhipster/jdl-studio

JHipster

JDL Studio is the offline JHipster Domain Language visual editor

jhipster/jhipster-curator

JHipster

Elasticsearch Curator

pgrouting/pgrouting

pgRouting

pgRouting Docker images.

vitess/vtctl

Cloud Native Computing Foundation

vitess/vtctl

antrea/antrea-agent-ubuntu

CNCF

The Docker image for the Antrea Agent

edfialliance/ods-api-db-ods

Michael & Susan Dell Foundation

Docker Image for the EdFi_Ods database running under PostgreSQL

devopsinfra/action-commit-push

DevOps Infra

GitHub Action that will create a new commit and push it to the repository

apache/drill

The Apache Software Foundation

Apache Drill

serversideup/php-dev

Server Side Up

This is a development repository for serversideup/php. There will be unstable and outdated code.