arlencox / SETr
Abstract domain library for sets
☆9Updated last year
Related projects: ⓘ
- QUICr parametric abstract domain for sets☆12Updated 9 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 3 years ago
- An interval library for OCaml☆16Updated last year
- Fast vectorized bitarrays for OCaml☆15Updated last year
- ☆10Updated 2 months ago
- A simple and portable floating-point interval arithmetic library in OCaml☆9Updated 2 years ago
- Detect CPU features☆10Updated 5 years ago
- OCaml implementation of histogram-approximation algorithm☆16Updated last year
- An OCaml EDSL for describing and solving strategic games☆17Updated last year
- OCaml uncaught exception analyser☆12Updated 12 years ago
- Effects-based OCaml Nameserver☆14Updated 2 months ago
- POSIX sendmsg bindings for OCaml☆15Updated 7 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Updated 6 years ago
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- Performance Application Programming Interface for OCaml☆16Updated last year
- A small script to create short-lived OPAM compiler switches from experimental OCaml branches☆18Updated 5 years ago
- RISC-V OCaml cross compiler☆14Updated 5 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆13Updated 3 months ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 7 years ago
- Scrap Your Boilerplate for OCaml with modular implicits☆19Updated last year
- OCaml bindings to Minisat☆13Updated 4 months ago
- Examples to illustrate the use of experimental OCaml macros☆11Updated 6 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- A simple BDD library for OCaml☆14Updated 2 years ago
- Experimental opam plugin☆17Updated 6 months ago
- Convert a cmi file back to an mli interface☆18Updated 9 years ago
- Formal Semantics for Why3☆14Updated this week
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆35Updated this week
- Building Lua interpreters with lot's of functors☆14Updated 6 years ago