sorawee / pretty-expressive-ocaml
An implementation of "A Pretty Expressive Printer" in OCaml
β22Updated 6 months ago
Related projects: β
- π©Ί A library for compiler diagnosticsβ34Updated 6 months ago
- IO should be just a libraryβ23Updated last year
- Self-adjusting computationsβ23Updated 11 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writβ¦β23Updated 3 years ago
- β15Updated this week
- multi-shot continuations in OCamlβ46Updated 3 weeks ago
- Wob extended wtih effect handlersβ14Updated 11 months ago
- thread-local storage for OCamlβ15Updated last month
- Tools for record-and-replay debuggingβ43Updated last year
- Resizable arrays with O(α΅βN) insertion and deletion (Tiered Vectors)β32Updated 9 months ago
- A balanced binary search tree library for OCamlβ19Updated last month
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collapβ¦β26Updated last week
- Property-based testing at easeβ43Updated 3 years ago
- Trivial/Tagless Polytypic Functionsβ23Updated 4 years ago
- A simple and portable floating-point interval arithmetic library in OCamlβ9Updated 2 years ago
- String searching with errors, using the Wu-Manber algorithmβ24Updated last year
- macOS bindings to the FSEvents APIβ17Updated last month
- Effectful OCaml with Objects and Variantsβ29Updated last year
- Datatype-generic object-oriented transformations for OCamlβ16Updated last month
- π¦ Reusable components based on algebraic effectsβ47Updated 2 months ago
- π Backward lists for OCamlβ19Updated 10 months ago
- β27Updated 5 years ago
- Runtime library and schema compiler for the Avro serialization formatβ21Updated 2 years ago
- Notes and findings from our OCaml benchmarking adventuresβ48Updated last year
- A library of splittable pseudo-random number generators for OCamlβ34Updated 5 months ago
- Experimental type-checker for internally parametric type theoryβ32Updated 3 years ago
- Effects-based OCaml Nameserverβ14Updated 2 months ago
- α A type of divination employed in attempts to locate identifiers matching a given type expressionβ35Updated this week
- The official LLVM OCaml binding but built using duneβ26Updated 3 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5β15Updated 2 years ago