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
- OCaml code generator plugin for the Cap'n Proto serialization framework☆99Updated last year
- Light library to deal with RPCs in OCaml☆96Updated 3 months ago
- The language of the future!☆72Updated last year
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years 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
- Multiparty Session Types in OCaml☆57Updated 2 months ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Updated 2 years ago
- ☆61Updated 3 years ago
- Optional compilation for OCaml☆63Updated last month
- OCaml bindings for Binaryen.☆49Updated last year
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 6 months ago
- Simple hash algorithms in OCaml☆88Updated last week
- OCaml with typed algebraic effects☆49Updated 6 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆100Updated last year
- A pretty-printing combinator library for OCaml☆49Updated 5 months ago
- A benchmark suite for the OCaml compiler☆82Updated 4 months ago
- ☆49Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated last month
- 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
- safe FFI between OCaml and Rust (experimental)☆66Updated 4 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- ☆102Updated 3 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago
- Generation of S-expression conversion functions from type definitions☆90Updated last month
- OCaml with macros☆56Updated this week
- Less redundancy in type declarations and signatures☆89Updated 2 months ago
- Translate OCaml bytecode to WebAssembly☆130Updated this week
- 🦠 Reusable components based on algebraic effects☆48Updated 3 months ago