fram-lang / dblLinks
An experimental programming language that combines effect handlers and implicit parameters
☆39Updated 3 months ago
Alternatives and similar repositories for dbl
Users that are interested in dbl are comparing it to the libraries listed below
Sorting:
- flexible 'let rec' generation for MetaOCaml☆26Updated 2 months ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆48Updated 3 weeks ago
- 🔙 Backward lists for OCaml☆22Updated 2 months ago
- Efficient binder representation in OCaml☆43Updated last year
- 👹 A library for hierarchical names and lexical scoping☆26Updated 2 months ago
- OCaml notebooks as a WebComponent☆43Updated 2 weeks ago
- ☆32Updated last week
- Formalising session types in Coq☆17Updated 6 years ago
- multi-shot continuations in OCaml☆49Updated last week
- An OCaml EDSL for describing and solving strategic games☆17Updated 2 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆38Updated 5 months ago
- Tactic for polynomial manipulations☆12Updated 5 months ago
- OCaml hash-consing library☆51Updated last year
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 4 years ago
- Example Coq plugin☆18Updated 7 years ago
- Pretty-printing for error source locations☆36Updated 3 years ago
- ☆12Updated 4 years ago
- ☆24Updated last year
- Interactive breakpoints!☆43Updated 2 months ago
- ☆15Updated 9 years ago
- PBT testsuite and libraries for testing multicore OCaml☆43Updated 2 weeks ago
- A PPX deriver that automates differential testing for OCaml modules☆25Updated 10 months ago
- A library of splittable pseudo-random number generators for OCaml☆35Updated 9 months ago
- An OCaml mutation tester☆66Updated last month
- IO should be just a library☆23Updated 2 years ago
- Generic Programming Library for OCaml☆33Updated 8 years ago
- ☆17Updated 6 years ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆22Updated 2 years ago
- Lock-free Sets and Maps for OCaml multicore☆36Updated 3 years ago
- ☆14Updated last week