jscert / jsexplain
☆26Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for jsexplain
- Multiparty Session Types in OCaml☆57Updated 3 weeks ago
- Invertible syntax for OCaml☆30Updated 5 years ago
- tired of typing afl-fuzz? try bun!☆50Updated last year
- A simple state-machine framework for OCaml based on QCheck☆65Updated 3 years ago
- Git mergetool leveraging code formatters.☆34Updated 7 months ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- Lightweight PPX extension for OCaml to support natural monadic syntax.☆20Updated 3 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆36Updated 2 years ago
- Less redundancy in type declarations and signatures☆89Updated last week
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- A tool to create PDFs that are also OCaml bytecodes☆41Updated last year
- Difference list library for OCaml☆33Updated 4 years ago
- Bisector tree implementation in OCaml☆25Updated 7 months ago
- Open records implemented using map over universal type☆33Updated 4 years ago
- Yet another type combinator library☆54Updated 2 years ago
- Fast native fibers for OCaml☆38Updated 5 years ago
- SDK to extend Merlin☆28Updated last month
- OCaml extension for a Go-ish [%defer ...] syntax☆16Updated 2 years ago
- File paths for OCaml☆26Updated 3 years ago
- DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions☆86Updated last year
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- Algorithms to layout trees in a pretty manner.☆36Updated 2 years ago
- Print OCaml values based on their runtime representation☆29Updated 2 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- Now part of the atd repo☆44Updated 7 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- Generate a list containing all values of a finite type☆24Updated this week
- A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]☆21Updated 4 years ago