rocq/base

Inria

Parent image for Docker images of the Rocq Prover

islasgeci/nerd_demo

Conservación de Islas

Demonstration of the Numerical Estimation of Rodenticide Density algorithm

lacledeslan/gamesvr-cssource-freeplay

lacledeslan

Laclede's LAN Counter-Strike Source Freeplay Server

eclipse/che-remote-plugin-go-1.10.7

The Eclipse Foundation

che-remote-plugin-go-1.10.7

nanozoo/hisat2

nanozoo.org

FROM: https://github.com/DaehwanKimLab/hisat2

joxit/rust-openssl

joxit

Docker for rust/rustc/cargo with openssl

https://www.drupal.org/project/drupalci

Linux Base Container for the LEGEND Experiment

islasgeci/nerd

Conservación de Islas

Numerical Estimation of Rodenticide Dispersal

hugegraph/server

Apache Foundation

HugeGraph-Server Distributed version - NEW

primeimages/odin

PrimeImages

Ubuntu with Odin installed

apluslms/aplus

Aalto University Dept. of Computer Science, EdTech team

A+ front production container

botsudo/action-shunit2

Wdes SAS / Sudo Bot

A GitHub action for shunit2 and kcov

angr/angr-management

angr

A GUI for angr!

phing/phing

phing

PHing Is Not GNU make; it's a PHP project build system or build tool based on Apache Ant.

golift/turbovanityurls

Go Lift

HTTP Server providing vanity go import paths.

eclipse/android

The Eclipse Foundation

Centos based images with Android SDK and vnc

Hacked version of opt-cpp-backend for accepting user input

dockette/packagist

dockette

Packagist Dockerfile

ocaml/rwo

ocaml

Real World OCaml

hugegraph/pd

Apache Foundation

HugeGraph Distributed PD(Meta Server) - NEW

Image for the high-order mesh generator NekMesh.

code visualizer used in the INGInious judge

nasqueron/nginx-php-fpm

nasqueron

nginx, php-fpm image for PHP 8 (and previously PHP 5, PHP 7)

selenium/standalone-kubernetes

Selenium

Selenium Grid Standalone with Dynamic capabilities in Kubernetes cluster

photoprism/mkdocs-material

PhotoPrism UG (haftungsbeschränkt)

Tracks stable major versions of squidfunk/mkdocs-material 🐙