avsm / docker-opam
Docker container for an OCaml + OPAM setup
☆24Updated 8 years ago
Alternatives and similar repositories for docker-opam
Users that are interested in docker-opam are comparing it to the libraries listed below
Sorting:
- Embed typed ASN.1 grammars in OCaml☆36Updated 5 months ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated last year
- ☆16Updated 6 years ago
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- A PPX extension for big array literals in OCaml☆20Updated 6 years ago
- OCaml record fields as first class values☆21Updated 2 weeks ago
- An OCaml RocksDb binding using ocaml-ctypes☆28Updated 5 years ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 7 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Multinomials for the Mathematical Components library.☆14Updated last month
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- OCaml interface for creating Dockerfiles☆66Updated last month
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- ☆29Updated 9 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- The core OCaml system: compilers, runtime system, base libraries☆21Updated last week
- Luck -- A Language for Property-Based Generators☆34Updated 2 months ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- Demystifying the magic of supertactics☆13Updated 3 years ago
- Parser and printer for date-times in ISO8601☆29Updated last year
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- A minimalist implementation of type theory, suitable for experimentation☆15Updated 7 months ago
- Binary logical relations library for the Coq proof assistant☆21Updated 6 months ago