Erik Martin-Dorel

debian

Debian is a Linux distribution that's composed entirely of free and open-source software.

python

Python is an interpreted, interactive, object-oriented, open-source programming language.

php

While designed for web development, the PHP scripting language also provides general-purpose use.

tomcat

Apache Tomcat is an open source implementation of the Java Servlet and JavaServer Pages technologies

httpd

The Apache HTTP Server Project

GitLab Community Edition docker image based on the Omnibus package

Run Emacs in docker containers!

A fully automated HTTPS server powered by Nginx, Let's Encrypt and Docker.

traefik

Traefik, The Cloud Native Edge Router

openjdk

Pre-release / non-production builds of OpenJDK

ShellCheck -- Shell script analysis tool

Fork of retrohacker/dockeri.co. Service is available at http://docker-badges.webbedlam.com/

ShellCheck -- Shell script analysis tool, installed on Alpine Linux

Docker images of learn-ocaml

Parent image for Docker images of Coq (WARNING: This repository is not active anymore)

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

Docker images of stable versions of the MathComp library for the Coq proof assistant

Docker images of the development version of the MathComp library for the Coq proof assistant

Docker images for learn-ocaml-client, a CLI tool to interact with Learn-OCaml.

reverse Docker images into Dockerfiles

Docker registry synchronization tool

Docker images of the Rocq Prover

Parent image for Docker images of the Rocq Prover

Default Workspace Image for https://gitpod.io. Use `legacy-dazzle-v1` tag for dazzlev1 images