smorimoto / coq-to-ocaml-to-jsLinks
Proof of concept to generate safe and fast JavaScript
☆24Updated 3 years ago
Alternatives and similar repositories for coq-to-ocaml-to-js
Users that are interested in coq-to-ocaml-to-js are comparing it to the libraries listed below
Sorting:
- OCaml extension for a Go-ish [%defer ...] syntax☆16Updated 3 years ago
- A sample syntax extension using OCaml's new extension points API.☆25Updated last year
- S-expression pretty-printer☆22Updated 3 weeks ago
- A type-safe, stack-based functional programming language☆16Updated 8 months ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 6 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 6 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- Runtime Extended Inference for json data.☆22Updated 2 years ago
- A meta-language for OCaml. (Unreleased)☆25Updated last month
- Interpreter of the ITGL with dynamic type inference☆21Updated 8 months ago
- Pretty-printing library for OCaml☆43Updated 3 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Updated 3 years ago
- Jane Street Capital's standard library overlay☆37Updated 3 weeks ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆38Updated 5 months ago
- Multiparty Session Types in OCaml☆59Updated 11 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- Multilingualization for the OCaml source code☆49Updated 6 years ago
- Less redundancy in type declarations and signatures☆91Updated 2 weeks ago
- Backport new syntax to older compilers☆14Updated 5 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated 2 years ago
- OCaml bindings for Wasmer☆34Updated 3 years ago
- OCaml to Golang compiler☆40Updated 4 years ago
- The official compiler for the Quartz programming language☆29Updated 7 years ago
- Type-safe library for building parallel applications, built on top of Async's Rpc module.☆50Updated 3 weeks ago
- unloading modules with ocaml native☆16Updated 4 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago
- OCaml runtime and FFI bindings directly in Rust☆79Updated 8 years ago
- A platform-agnostic multi-level index☆33Updated 3 weeks ago