avsm / docker-opamLinks
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 6 months ago
- OCaml record fields as first class values☆21Updated last week
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Jane Street Capital's standard library overlay☆36Updated 3 weeks ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- ☆29Updated 9 years ago
- nanomsg bindings for ocaml☆38Updated 4 years ago
- A DSL to invoke otherworldly functors☆63Updated 2 years ago
- An OCaml RocksDb binding using ocaml-ctypes☆28Updated 6 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 4 years ago
- ☆18Updated 8 years ago
- OCaml BitTorrent library and client☆40Updated 2 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- A PPX extension for big array literals in OCaml☆20Updated 6 years ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 7 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- FFI-based byte buffers for Idris☆10Updated 5 years ago
- Distributed computing library☆35Updated 6 years ago
- The Combination of Dynamic and Static Typing from a Categorical Perspective☆10Updated 7 years ago
- ☆38Updated 5 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆16Updated last week
- Jane Street Capital's asynchronous execution library (unix)☆33Updated last week
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Updated 8 months ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 11 months ago
- Example showing how to turn OCaml code (here Xmlm) into a C library.☆45Updated 4 years ago
- Bisector tree implementation in OCaml☆25Updated last year