m4b / raml
OCaml runtime and FFI bindings directly in Rust
☆78Updated 7 years ago
Related projects: ⓘ
- ☆61Updated 3 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆57Updated 4 years ago
- Light library to deal with RPCs in OCaml☆95Updated 6 months ago
- [dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://ced…☆27Updated 5 years ago
- Property-based testing at ease☆43Updated 3 years ago
- OCaml code generator plugin for the Cap'n Proto serialization framework☆98Updated last year
- OCaml Bitstring - bitstring matching for OCaml☆67Updated 5 months ago
- An implementation of binary session types in OCaml☆35Updated 5 years ago
- OCaml with typed algebraic effects☆48Updated 5 years ago
- safe FFI between OCaml and Rust (experimental)☆66Updated 4 years ago
- OPAM repo for OCaml multicore development☆53Updated 2 years ago
- Binary protocol generator☆73Updated 3 weeks ago
- Less redundancy in type declarations and signatures☆89Updated 4 months ago
- Abstract engine for text edition in OCaml☆121Updated last year
- Multiparty Session Types in OCaml☆56Updated 2 weeks ago
- This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.…☆52Updated 5 years ago
- Asynchronous effect based IO☆33Updated 3 years ago
- Distributed computing library☆35Updated 6 years ago
- A library with an encoding of higher kinded types in OCaml☆38Updated 3 weeks ago
- Basic OS interaction for OCaml☆63Updated 5 months ago
- OCaml bindings to PCRE (Perl Compatibility Regular Expressions)☆30Updated 9 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- Algorithms to layout trees in a pretty manner.☆37Updated 2 years ago
- Generate Purescript types from your Rust types. (unmaintained)☆41Updated 6 years ago
- OCaml API search engine☆25Updated 7 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆88Updated 6 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 7 years ago
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆53Updated 12 years ago
- Delimited continuations in byte-code and native OCaml☆26Updated 3 years ago
- Inline (Unit) Tests for OCaml☆67Updated 3 years ago