arlencox / QUICr
QUICr parametric abstract domain for sets
☆12Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for QUICr
- Abstract domain library for sets☆9Updated last year
- ☆16Updated 5 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆24Updated 10 months ago
- An ocaml implementation of conflict-driven reasoning☆15Updated 6 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 10 months ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆33Updated 2 weeks ago
- Initial tinkering with a BPF metalanguage and implementation formally verified in Coq.☆10Updated 9 years ago
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 8 years ago
- A small script to create short-lived OPAM compiler switches from experimental OCaml branches☆18Updated 5 years ago
- Example Coq plugin☆16Updated 6 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆9Updated 2 years ago
- Make OCaml native debugging awesome☆32Updated 4 years ago
- secret project☆17Updated 6 years ago
- A library for Gradual Certified Programming in Coq☆9Updated 9 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Updated 9 years ago
- Examples to illustrate the use of experimental OCaml macros☆11Updated 6 years ago
- ☆20Updated last year
- Bisector tree implementation in OCaml☆25Updated 7 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated last year
- OCaml implementation of histogram-approximation algorithm☆15Updated 2 years ago
- 👹 A library for hierarchical names and lexical scoping☆25Updated last month
- A simple BDD library for OCaml☆13Updated 2 years ago
- An automated theorem prover for intuitionistic propostional logic☆12Updated 4 years ago