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
- The language of the future!☆72Updated last year
- Light library to deal with RPCs in OCaml☆97Updated 2 weeks ago
- Simple hash algorithms in OCaml☆89Updated 2 months 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 13 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
- OCaml runtime and FFI bindings directly in Rust☆79Updated 7 years ago
- ☆62Updated 4 years ago
- Multiparty Session Types in OCaml☆59Updated 4 months ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Optional compilation for OCaml☆63Updated 4 months ago
- ☆49Updated 3 years ago
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- libuv bindings for OCaml☆55Updated 8 months ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- Pure OCaml implementation of Zlib.☆117Updated 2 months ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- A pretty-printing combinator library for OCaml☆49Updated 7 months ago
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- Various signed and unsigned integers for OCaml☆84Updated 2 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 4 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 9 months ago
- Pretty-printing library for OCaml☆43Updated 2 years ago
- A simple state-machine framework for OCaml based on QCheck☆66Updated 3 years ago
- Translate OCaml bytecode to WebAssembly☆130Updated 2 months ago
- OCaml cryptographic library☆111Updated 4 years ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- Abstract engine for text edition in OCaml☆120Updated last year