jbdoderlein / BetterOCaml
A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it works offline!), compiled with js_of_ocaml.
☆38Updated last month
Related projects ⓘ
Alternatives and complementary repositories for BetterOCaml
- Tools for record-and-replay debugging☆42Updated last year
- Print with style in your terminal using Format's semantic tags☆18Updated last year
- A small library to output memory graph for ocaml values☆35Updated 4 months ago
- Parallel version of incremental library☆19Updated last year
- 🩺 A library for compiler diagnostics☆35Updated last week
- The official LLVM OCaml binding but built using dune☆25Updated 4 months ago
- IO should be just a library☆23Updated last year
- Runtime assertion checking based on Gospel specifications☆38Updated 3 weeks ago
- String searching with errors, using the Wu-Manber algorithm☆23Updated 2 years ago
- A bibtex file parser☆21Updated 8 months ago
- Testing and benchmarking tool for logic-related programs.☆25Updated last month
- A Framework for building Batched Concurrent Services☆20Updated last month
- 🦠 Reusable components based on algebraic effects☆48Updated last month
- LP and MIP modeling in OCaml☆26Updated 2 years ago
- multi-shot continuations in OCaml☆45Updated 2 weeks ago
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…☆27Updated 2 weeks ago
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆37Updated 3 months ago
- A library of splittable pseudo-random number generators for OCaml☆34Updated 7 months ago
- A PPX deriver that automates differential testing for OCaml modules☆23Updated 3 weeks ago
- Effects-based OCaml Nameserver☆14Updated 4 months ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Try OCaml Effects and Eio in your browser☆20Updated last year
- A simple multi-format pretty-printer for Menhir.☆55Updated 3 months ago
- Experimental model checker for testing concurrent algorithms☆32Updated 4 months ago
- ☆41Updated last year
- Strongly typed multidimensional array library for OCaml☆51Updated 5 months ago
- Efficient binder representation in OCaml☆39Updated 4 months ago
- A balanced binary search tree library for OCaml☆20Updated this week
- OCaml PPX deriver for reflection☆51Updated last year