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 10 months ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Distributed computing library☆34Updated 7 years ago
- OCaml cryptographic library☆111Updated 5 years ago
- Tool for uploading unikernels into EC2☆76Updated 7 years ago
- ☆29Updated 10 years ago
- establish trust in community repositories, cryptographically signed by library authors☆37Updated last week
- An OCaml javascript kernel for the IPython notebook☆58Updated 8 years ago
- Raspberry Pi boot support for the OCaml system (unreleased)☆56Updated last year
- Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)☆57Updated 10 years ago
- ☆21Updated 9 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 6 years ago
- Minimum docker images for OCaml+OPAM☆16Updated 5 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆55Updated 13 years ago
- A tool for creating new OCaml projects with OPAM, Oasis, and Merlin☆24Updated 8 years ago
- OCaml record fields as first class values☆22Updated 3 weeks ago
- A DSL to invoke otherworldly functors☆63Updated 3 years ago
- OCaml code generator plugin for the Cap'n Proto serialization framework☆102Updated 2 years ago
- Programming language based on the synchronous and constraint paradigms☆15Updated 5 years ago
- Cucumber for OCaml☆28Updated 2 months ago
- Multiparty Session Types in OCaml☆59Updated last year
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆56Updated 4 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- OCaml backend for Agda☆39Updated 7 years ago
- Probabilistic computation in Idris☆34Updated 6 years ago
- OCaml with macros☆59Updated 2 weeks ago
- Purely functional SSH library in ocaml.☆104Updated 4 months ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆17Updated 3 weeks ago
- OCaml runtime and FFI bindings directly in Rust☆78Updated 8 years ago