hipsleek / HeiferLinks
effects system for continuation
☆17Updated this week
Alternatives and similar repositories for Heifer
Users that are interested in Heifer are comparing it to the libraries listed below
Sorting:
- multi-shot continuations in OCaml☆48Updated 5 months ago
- A Deductive Verification Tool for OCaml Programs☆73Updated last month
- Experimental model checker for testing concurrent algorithms☆36Updated 6 months ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- The official LLVM OCaml binding but built using dune☆25Updated 5 months ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Feedback-directed optimizer for OCaml☆36Updated 4 years ago
- A scheduler independent blocking mechanism☆17Updated last year
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Updated 3 years ago
- An ocaml implementation of conflict-driven reasoning☆14Updated 7 years ago
- A small library to output memory graph for ocaml values☆38Updated last year
- OCaml syntax extension for quoting code☆26Updated 2 years ago
- ☆14Updated 3 weeks ago
- ☆15Updated 2 years ago
- Just In Time compiler for OCaml native toplevel☆58Updated last year
- Effects-based OCaml Nameserver☆20Updated last month
- OCaml with typed algebraic effects☆50Updated 6 years ago
- An implementation of binary session types in OCaml☆38Updated 6 years ago
- IO should be just a library☆23Updated last year
- Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library☆23Updated 3 years ago
- A library of splittable pseudo-random number generators for OCaml☆35Updated 5 months ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- OCaml bindings for RocksDB☆21Updated last year
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆36Updated last month
- A simple BDD library for OCaml☆13Updated last month
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Updated 3 years ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆27Updated last year