References

:gh:`hadolint/hadolint`: Haskell Dockerfile Linter
:gh:`0x01be/rudder`
:gh:`Mluckydwyer/hw-ci`
:gh:`limerainne/Dockerize-EDA`
:gh:`alpin3/ulx3s`
:gh:`vmunoz82/eda_tools`
:gh:`eine/elide <eine/elide/tree/master/elide/docker>`
:gh:`cdsteinkuehler/QuartusBuildVMs`
:gh:`ghdl/setup-ghdl-ci`
:gh:`hackfin/ghdl-cross.mk`
:gh:`rfdonnelly/docker-questa`

F4PGA

:gh:`SymbiFlow/make-env`
- bit.ly/edda-conda-eda-spec: Conda based system for FPGA and ASIC Dev
- :gh:`Support providing the environment using docker rather than conda #15 <SymbiFlow/make-env/issues/15>`
:gh:`im-tomu/fomu-toolchain`
:gh:`antmicro/runner`

distroless

:gh:`GoogleContainerTools/distroless`

Wolfi

:gh:`wolfi-dev`
:gh:`chainguard-dev/melange`
:gh:`chainguard-dev/apko`

NixOS

nixos.org/manual: pkgs.dockerTools

nix.dev/tutorials: Building and running Docker images

LibreCores

:gh:`librecores/ci-docker-image`

:gh:`librecores/docker-images`

LibreCores CI Infrastructure (LCCI):

:gh:`lccitools`

:gh:`lccidocker`

ASIC

:gh:`The-OpenROAD-Project`
:gh:`efabless/openlane`
- :gh:`efabless/foss-asic-tools`
- :gh:`hpretl/iic-osic-tools`
:gh:`mabrains/OpenAnalogDesign`
:gh:`RISC-V bring-up tracker <carlosedp/riscv-bringup>`
A Step-by-Step Example: Layout of a CMOS Inverter Using SkyWater Technology (SKW) 130nm Process

Google Container Regisry (GCR)

:gh:`salrashid123/gcr_stats`
:gh:`gregsramblings/google-cloud-4-words`: The Google Cloud Developer's Cheat Sheet
:gh:`gh:google/go-containerregistry: cmd/crane/README.md <google/go-containerregistry/blob/main/cmd/crane/README.md>`

USB/IP