jscert / jsexplain
☆26Updated 2 years ago
Alternatives and similar repositories for jsexplain:
Users that are interested in jsexplain are comparing it to the libraries listed below
- Multiparty Session Types in OCaml☆59Updated 4 months ago
- The future of ppx https://discuss.ocaml.org/t/the-future-of-ppx/☆53Updated 4 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago
- tired of typing afl-fuzz? try bun!☆50Updated last year
- Git mergetool leveraging code formatters.☆35Updated 11 months ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- Less redundancy in type declarations and signatures☆89Updated 4 months ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Updated 2 years ago
- Optional compilation for OCaml☆63Updated 4 months ago
- Backport new syntax to older compilers☆14Updated 5 years ago
- DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions☆86Updated last year
- Simple, efficient iterators for OCaml☆59Updated last year
- OCaml with typed algebraic effects☆49Updated 6 years ago
- Multilingualization for the OCaml source code☆50Updated 5 years ago
- Repurpose object literals.☆14Updated 5 years ago
- Print OCaml values based on their runtime representation☆29Updated 2 years ago
- SDK to extend Merlin☆28Updated 5 months ago
- ☆49Updated 3 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- A tool to create PDFs that are also OCaml bytecodes☆41Updated last year
- Red-Black Trees for OCaml.☆23Updated 8 years ago
- Lightweight PPX extension for OCaml to support natural monadic syntax.☆20Updated 3 years ago
- Fast native fibers for OCaml☆38Updated 6 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 7 months ago
- Official Logo for OCaml☆30Updated 10 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- Runtime Extended Inference for json data.☆22Updated 2 years ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆27Updated last year
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago