avsm/docker-opam-coq-build
Docker base builds of Coq, OPAM and OCaml in various combinations
Public GitHub Catalog
Discovered Oct 3, 2026
avsm / ocaml-docker-scripts
Scripts to generate Dockerfiles for various OCaml-based images
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#28567004GitHub System ID
avsmOrganization / User
PublicVisibility
ActiveCatalog Status
More from avsm
avsm/opam-mirror
Mirror upstream distribution files for an OPAM repository
avsm/docker-opam-archive
Docker builds of the OPAM package repository archive
avsm/docker-opam-core-build
Docker base builds of Jane Street Core using the OCaml/OPAM images