4 repos
rocq-community/docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-act…
40
244 commits
coq-community/docker-coq
nodejs/docker-node
Official Docker Image for Node.js :whale: :turtle: :rocket:
8,593
2,382 commits
portainer/portainer
Making Docker and Kubernetes management easy.
38,519
5,863 commits