RedPRL / ocaml-bwd
🔙 Backward lists for OCaml
☆21Updated last month
Related projects ⓘ
Alternatives and complementary repositories for ocaml-bwd
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- 🩺 A library for compiler diagnostics☆35Updated this week
- IO should be just a library☆23Updated last year
- Lower-Kinded Optics for OCaml☆21Updated 2 years ago
- Higher kinded polymorphism in SML☆15Updated 4 years ago
- OCaml with typed algebraic effects☆48Updated 6 years ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated last year
- Graphs of the various type conversions provided by the OCaml standard library.☆33Updated 4 years ago
- ☆31Updated last year
- Effectful OCaml with Objects and Variants☆29Updated last year
- A Framework for building Batched Concurrent Services☆20Updated last month
- Print OCaml values based on their runtime representation☆29Updated 2 years ago
- PBT testsuite and libraries for testing multicore OCaml☆37Updated this week
- Property-based testing at ease☆42Updated 3 years ago
- Yet another type combinator library☆54Updated 2 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆33Updated 2 weeks ago
- A balanced binary search tree library for OCaml☆21Updated 2 weeks ago
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆58Updated last week
- Algebraic structures in OCaml.☆21Updated this week
- Generic Programming Library for OCaml☆33Updated 7 years ago
- A repository of MetaOCaml packages☆12Updated last year
- macOS bindings to the FSEvents API☆18Updated 3 months ago
- flexible 'let rec' generation for MetaOCaml☆26Updated last year
- Self-adjusting computations☆21Updated last year
- ☆22Updated last month
- A library of splittable pseudo-random number generators for OCaml☆34Updated 7 months ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- Tools for record-and-replay debugging☆42Updated last year