Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for docker ocaml
docker
x
ocaml
x
36 search results found
Comby
⭐
1,996
A code rewrite tool for structural search and replace that supports ~every language.
Restack
⭐
229
Full Stack ReasonML Tutorials
Qubes Mirage Firewall
⭐
199
A Mirage firewall VM for QubesOS
Docker Unison
⭐
170
A docker data container using Unison for fast folder sync. An alternative to slow boot2docker volumes on OS X.
Smoosh
⭐
98
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
Condo
⭐
91
Reliable and simple idempotent supervisor for Docker containers
Fact
⭐
87
Flexible and Constant Time Programming Language
Granary
⭐
59
Tezos smart contract & dapp development toolkit
Sure Deploy
⭐
44
What `docker stack deploy` should actually have been
Reason Graphql Docker
⭐
40
A demo deployment of ReasonML and Apollo GraphQL using Docker
Ocaml Offchain
⭐
39
Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
Ocluster
⭐
31
Distribute CI builds to worker nodes over Cap'n Proto
Loopinvgen
⭐
31
Generates loop invariants for program verification
Docker Ocaml Jupyter Datascience
⭐
30
Dockerfiles for data science in OCaml on Jupyter
Docker Iocaml Datascience
⭐
30
Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning
Docker Base Images
⭐
29
Generate various Docker ocaml images
Ocaml Docker
⭐
26
Binding to the Docker Remote API
Docker Opam
⭐
23
Docker container for an OCaml + OPAM setup
Pinata Sdk
⭐
23
Unofficial SDK for Pinata IPFS pinning service
Ocurrent Deployer
⭐
21
A pipeline that deploys unikernels and other services
Docker Image Unison
⭐
21
Unison docker image, intended to be used in the docker-sync project or anything else
Mirage Ci
⭐
17
Continuous Integration for MirageOS using DataKit's git workflow
Ocaml Wasm Docker
⭐
15
Hack on OCaml and wasm safely with help of Docker
Coclobas
⭐
15
Configurable Cloudy Batch Scheduler
Esy Docker
⭐
14
A set of make rules to produce docker images for esy projects
Dopam
⭐
13
Run OPAM under Docker
Docker Ocaml
⭐
12
Minimum docker images for OCaml+OPAM
Ocaml Layer
⭐
11
Make your own OCaml base image for fast CI jobs
Buildfs
⭐
10
A dynamic method for detecting faults in incremental and parallel builds.
Legicash Facts
⭐
9
Fast Cryptocurrency Transactions, Securely (https://j.mp/FaCTS)
Ocaml Docker Infra
⭐
8
Docker and OCaml infrastructure scripts
Esp32 Docker Samples
⭐
8
Docker scripts to build minimals applications on ESP32.
Mp2i Jupyter Docker
⭐
7
Docker image to run JupyterLab with OCaml, C++, and Python kernels
Index Benchmarks
⭐
6
Apidsl
⭐
5
DSL for C APIs to aid consistency of naming schemes and comments.
Ocaml Devcontainer
⭐
5
OCaml development environment for VSCode
Related Searches
Shell Docker (20,660)
Docker Dockerfile (16,395)
Python Docker (16,341)
Javascript Docker (10,426)
Golang Docker (7,702)
Php Docker (6,192)
Java Docker (6,071)
Docker Nginx (5,238)
Typescript Docker (4,630)
Docker Postgresql (4,363)
1-36 of 36 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.