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
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- Administration and documentation for the ocaml-community organization.☆28Updated 6 months ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- A tool to create PDFs that are also OCaml bytecodes☆41Updated last year
- Multiparty Session Types in OCaml☆59Updated 4 months ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Updated 2 years ago
- tired of typing afl-fuzz? try bun!☆50Updated last year
- 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
- DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions☆86Updated last year
- A simple state-machine framework for OCaml based on QCheck☆66Updated 3 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated 3 weeks ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- Fast native fibers for OCaml☆38Updated 6 years ago
- Backport new syntax to older compilers☆14Updated 5 years ago
- Git mergetool leveraging code formatters.☆34Updated 10 months ago
- Multilingualization for the OCaml source code☆50Updated 5 years ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- SDK to extend Merlin☆28Updated 4 months ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 7 months ago
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- Code using GADT☆37Updated 3 years ago
- Official Logo for OCaml☆30Updated 10 years ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- Repurpose object literals.☆14Updated 5 years ago
- OCaml extension for a Go-ish [%defer ...] syntax☆16Updated 2 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 4 years ago
- Yet another type combinator library☆54Updated 3 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago