RedPRL / algaeff
π¦ Reusable components based on algebraic effects
β49Updated 5 months ago
Alternatives and similar repositories for algaeff:
Users that are interested in algaeff are comparing it to the libraries listed below
- OCaml with typed algebraic effectsβ49Updated 6 years ago
- Efficient binder representation in OCamlβ40Updated 8 months ago
- multi-shot continuations in OCamlβ48Updated last month
- π©Ί A library for compiler diagnosticsβ38Updated last month
- PBT testsuite and libraries for testing multicore OCamlβ39Updated last week
- πͺ A Staged Type Theoryβ35Updated last year
- flexible 'let rec' generation for MetaOCamlβ26Updated last year
- πΉ A library for hierarchical names and lexical scopingβ25Updated 5 months ago
- FΟΞΌ type checker and compilerβ52Updated 2 years ago
- Tools for record-and-replay debuggingβ43Updated 2 years ago
- IO should be just a libraryβ23Updated last year
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modulesβ31Updated 2 years ago
- A Certified Interpreter for ML with Structural Polymorphismβ43Updated 2 years ago
- α A type of divination employed in attempts to locate identifiers matching a given type expressionβ34Updated last month
- π Backward lists for OCamlβ22Updated 5 months ago
- The Evolution of a Typecheckerβ54Updated 6 years ago
- A library of splittable pseudo-random number generators for OCamlβ34Updated 2 months ago
- Yet another type combinator libraryβ54Updated 3 years ago
- A pretty-printing combinator library for OCamlβ49Updated 7 months ago
- Monad-based linear types in OCaml, with a few syntax extensionsβ37Updated 5 years ago
- OCaml with macrosβ57Updated 2 months ago
- Generic Programming Library for OCamlβ33Updated 7 years ago
- Declarative events and signals for OCamlβ50Updated 11 months ago
- A Deductive Verification Tool for OCaml Programsβ69Updated last week
- β28Updated last week
- Multiparty Session Types in OCamlβ59Updated 4 months ago
- Dependency graphs for OCaml modules, libraries and packagesβ37Updated 8 months ago
- A library with an encoding of higher kinded types in OCamlβ40Updated 4 months ago
- Interactive breakpoints!β43Updated 10 months ago
- Toy implementation of Martin-LΓΆf Type Theoryβ28Updated 2 years ago