sorawee / pretty-expressive-ocaml
An implementation of "A Pretty Expressive Printer" in OCaml
☆24Updated 11 months ago
Alternatives and similar repositories for pretty-expressive-ocaml:
Users that are interested in pretty-expressive-ocaml are comparing it to the libraries listed below
- 🩺 A library for compiler diagnostics☆38Updated 2 weeks ago
- IO should be just a library☆23Updated last year
- A balanced binary search tree library for OCaml☆21Updated 2 months ago
- A Framework for building Batched Concurrent Services☆21Updated 4 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Tools for record-and-replay debugging☆43Updated last year
- Self-adjusting computations☆22Updated last year
- 🔙 Backward lists for OCaml☆22Updated 4 months ago
- multi-shot continuations in OCaml☆48Updated last week
- macOS bindings to the FSEvents API☆18Updated 6 months ago
- Effectful OCaml with Objects and Variants☆29Updated 2 years ago
- A repository of MetaOCaml packages☆12Updated last year
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…☆27Updated this week
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- Property-based testing at ease☆42Updated 3 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated 11 months ago
- ☆23Updated 4 months ago
- 👹 A library for hierarchical names and lexical scoping☆25Updated 4 months ago
- An OCaml library for creating pandoc filters.☆30Updated 4 months ago
- Experimental type-checker for internally parametric type theory☆32Updated 4 years ago
- Experimental model checker for testing concurrent algorithms☆32Updated 2 months ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 2 years ago
- Parsing library based on Earley Algorithm☆18Updated 3 years ago
- Bindings to the `cuda` and `nvrtc` libraries with a unified interface☆17Updated 2 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Effects-based OCaml Nameserver☆15Updated 2 weeks ago
- Runtime assertion checking based on Gospel specifications☆44Updated last month
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- Parallel version of incremental library☆19Updated last year
- A library of splittable pseudo-random number generators for OCaml☆34Updated last month