SimonJF / cmm_of_wasm
A compiler from WebAssembly to native code, via the OCaml backend.
☆91Updated 6 years ago
Alternatives and similar repositories for cmm_of_wasm:
Users that are interested in cmm_of_wasm are comparing it to the libraries listed below
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- OCaml code generator plugin for the Cap'n Proto serialization framework☆99Updated last year
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 7 months ago
- The language of the future!☆72Updated last year
- ☆49Updated 3 years ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- Simple hash algorithms in OCaml☆88Updated last month
- Light library to deal with RPCs in OCaml☆97Updated 2 weeks ago
- OCaml bindings for Binaryen.☆49Updated this week
- A benchmark suite for the OCaml compiler☆83Updated 5 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Optional compilation for OCaml☆63Updated 3 months ago
- ☆62Updated 4 years ago
- Pretty-printing library for OCaml☆43Updated 2 years ago
- Matching Regular Expressions with OCaml Patterns☆55Updated 2 years ago
- Multiparty Session Types in OCaml☆57Updated 3 months ago
- Generation of S-expression conversion functions from type definitions☆90Updated 3 months ago
- This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.…☆51Updated 5 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- A simple state-machine framework for OCaml based on QCheck☆65Updated 3 years ago
- ☆102Updated 3 years ago
- OCaml runtime and FFI bindings directly in Rust☆79Updated 7 years ago
- ☆26Updated 2 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- Less redundancy in type declarations and signatures☆89Updated 3 months ago
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 2 months ago
- Translate OCaml bytecode to WebAssembly☆130Updated last month