Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 15 Docker Opam Open Source Projects

Open source projects categorized as Docker Opam
Docker Coq ⭐ 32
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action [maintainers=@erikmd,@himito]
most recent commit 4 months ago
Docker Base Images ⭐ 29
Generate various Docker ocaml images
most recent commit 5 months ago
Ocaml Docker ⭐ 26
Binding to the Docker Remote API
most recent commit 2 years ago
Funtal ⭐ 26
FunTAL: mixing a functional language with assembly.
most recent commit 7 years ago
Docker Satysfi ⭐ 25
Docker images for SATySFi and Satyrographos
most recent commit 4 months ago
Docker Opam ⭐ 23
Docker container for an OCaml + OPAM setup
most recent commit 7 years ago
Mirage Ci ⭐ 17
Continuous Integration for MirageOS using DataKit's git workflow
most recent commit 4 years ago
Dopam ⭐ 13
Run OPAM under Docker
most recent commit 8 years ago
Docker Ocaml ⭐ 12
Minimum docker images for OCaml+OPAM
most recent commit 4 years ago
Docker Coq Action ⭐ 12
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
most recent commit a year ago
Ocaml Layer ⭐ 11
Make your own OCaml base image for fast CI jobs
most recent commit 7 months ago
Ocaml Docker Infra ⭐ 8
Docker and OCaml infrastructure scripts
most recent commit 6 years ago
Docker Mathcomp ⭐ 6
Docker images of coq-mathcomp [maintainer=@erikmd]
most recent commit 4 months ago
Apidsl ⭐ 5
DSL for C APIs to aid consistency of naming schemes and comments.
most recent commit 2 years ago
Ocaml Devcontainer ⭐ 5
OCaml development environment for VSCode
most recent commit 4 years ago
Popular Virtualization Categories
Docker
Kubernetes
Dockerfile
Virtual Machine
Vagrant
Docker Image
Docker Compose
Hub
Docker Container
Virtualbox
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.