Data

Tools

Indexes

Applications

Experiments

Docker

An open API service providing dependency metadata for docker images.

Package Usage : github : ocaml/setup-ocaml

Explore the latest package usage data for ocaml/setup-ocaml in the github ecosystem, including detailed information on package dependencies and their usage.

Total dependents: 29
Total downloads: 36,806
Showing first 100 dependents

More details on packages.ecosyste.ms - JSON

prosyslab/classroom 22.04

  • version: v1, v2
Latest release: 12 months ago - 1,152 downloads - 1,124 dependencies
cknittel/rescript-build latest

Alpine-based image for building the ReScript compiler

  • version: v2
Latest release: about 3 years ago - 66 downloads - 88 dependencies
restyled/restyler-ocamlformat v0.26.2

  • version: v2
Latest release: over 1 year ago - 4,117 downloads - 258 dependencies
mhashimoto/rse latest

  • version: v2
Latest release: almost 3 years ago - 94 downloads - 87 dependencies
hexletbasics/exercises-ocaml lv1715

  • version: v2
Latest release: over 1 year ago - 338 downloads - 646 dependencies
binier/mina-daemon tracing-optional-optimizations-focal-berkeley-current-capture_proof_generation_inputs-2

  • version: v2
Latest release: almost 3 years ago - 184 downloads - 5,115 dependencies
compilerexplorer/compcert-builder latest

  • version: v2
Latest release: almost 3 years ago - 830 downloads - 13 dependencies
evolbioinfo/codepi 773545822

  • version: v2
Latest release: about 4 years ago - 27 downloads - 50 dependencies
dlunde/ppl-align latest

  • version: v2
Latest release: about 3 years ago - 67 downloads - 364 dependencies
drunkenlegend/securedmodel v1

  • version: v2
Latest release: about 3 years ago - 78 downloads - 86 dependencies
sammer9234/ocaml-environment-repo alpine-bonsai

Useful images with OCaml libraries pre-installed.

  • version: v1, v2
Latest release: about 3 years ago - 143 downloads - 730 dependencies
uphilld/mirageos latest

  • version: v2
Latest release: over 2 years ago - 57 downloads - 258 dependencies
amxu/artifact latest

  • version: v2
Latest release: almost 3 years ago - 40 downloads - 779 dependencies
mooxe/nix_ocaml latest

  • version: v2
Latest release: about 3 years ago - 34 downloads - 13,942 dependencies
ekhalife/verif-iqc latest

  • version: v2
Latest release: almost 3 years ago - 51 downloads - 550 dependencies
debsourav33/um cleanup

  • version: v2
Latest release: almost 3 years ago - 55 downloads - 938 dependencies
anonymousdraft/esop2022-artifact-anonymous v1

  • version: v2
Latest release: about 3 years ago - 31 downloads - 5 dependencies
jlatessa/frama beta_v0.2

  • version: v2
Latest release: almost 3 years ago - 16 downloads - 1,868 dependencies
spacevim/spacevim latest

SpaceVim docker image

  • version: v2
Latest release: over 2 years ago - 22,762 downloads - 2,719 dependencies
openmina/mina block-proof-dump

  • version: v2
Latest release: 11 months ago - 17,974 downloads - 4,425 dependencies
fredblgr/docker-webtop-3asl 2025-arm64

A Linux webtop image for my 3rd year students at CentraleSupélec

  • version: v2, v3
Latest release: 5 months ago - 2,313 downloads - 2,986 dependencies
coqorg/coq 8.20.1

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

  • version: v2, v3
Latest release: 9 months ago - 1,008,680 downloads - 211 dependencies
mikinglang/workshop latest

Images dedicate to Miking workshops

  • version: v2
Latest release: about 3 years ago - 97 downloads - 517 dependencies
abhibp1993/ggsolver experimental

  • version: v2
Latest release: almost 3 years ago - 249 downloads - 1,375 dependencies
charlessherk/cs4120-vm latest

cs 4120 vm

  • version: v2
Latest release: almost 3 years ago - 1,128 downloads - 1,142 dependencies
jonasalaif/creusot arm64

  • version: v2
Latest release: almost 3 years ago - 77 downloads - 1,122 dependencies
y2khub/compose-news-base latest

  • version: v2
Latest release: over 2 years ago - 53 downloads - 29 dependencies
ersiliaos/eos4qda 2025-05-26

Ersilia Model Hub Identifier: eos4qda

  • version: v2
Latest release: 9 months ago - 182 downloads - 415 dependencies
mpllang/pldi23_artifact latest

  • version: v2
Latest release: almost 3 years ago - 53 downloads - 607 dependencies
coinsshinkan23/pamphlet-docker main

  • version: v2
Latest release: about 3 years ago - 425 downloads - 234 dependencies
prosyslab/dude latest

  • version: v1, v2
Latest release: almost 3 years ago - 419 downloads - 818 dependencies