Repository Index

Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.

• build-automation
• build
• container-builder
• hacktoberfest

Dockerized GitLab

• docker
• docker-image
• containers
• git

:whale: Keep an eye on your docker image size and prevent it from growing too big

• docker
• docker-images
• docker-linter
• python3

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]

• docker-image
• dockerfile
• opam
• coq