jscert / jsexplain
☆26Updated 2 years ago
Related projects: ⓘ
- Invertible syntax for OCaml☆30Updated 5 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
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Updated 2 years ago
- Multiparty Session Types in OCaml☆56Updated 2 weeks ago
- A simple state-machine framework for OCaml based on QCheck☆63Updated 2 years ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- Difference list library for OCaml☆33Updated 4 years ago
- Administration and documentation for the ocaml-community organization.☆29Updated last month
- Lightweight PPX extension for OCaml to support natural monadic syntax.☆20Updated 3 years ago
- Official Logo for OCaml☆30Updated 9 years ago
- Backport new syntax to older compilers☆14Updated 4 years ago
- Git mergetool leveraging code formatters.☆33Updated 5 months ago
- tired of typing afl-fuzz? try bun!☆50Updated last year
- Pretty-printing library for OCaml☆42Updated 2 years ago
- An implementation of binary session types in OCaml☆35Updated 5 years ago
- A tool to create PDFs that are also OCaml bytecodes☆41Updated last year
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions☆87Updated 10 months ago
- Wiki for ocaml compiler internals☆47Updated 11 years ago
- Less redundancy in type declarations and signatures☆89Updated 4 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- Bisector tree implementation in OCaml☆25Updated 5 months ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- SDK to extend Merlin☆28Updated 2 years ago
- The future of ppx https://discuss.ocaml.org/t/the-future-of-ppx/☆53Updated 4 years ago
- A sample syntax extension using OCaml's new extension points API.☆25Updated 2 months ago
- ☆20Updated this week
- Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer☆59Updated 3 months ago
- Fast native fibers for OCaml☆39Updated 5 years ago