A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
☆32Dec 30, 2023Updated 2 years ago
Alternatives and similar repositories for chapar
Users that are interested in chapar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 5 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 3 weeks ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆24Oct 21, 2024Updated last year
- Formal proof in Coq of Banach-Tarski paradox.☆19Updated this week
- A simple BDD library for OCaml☆13May 20, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- An example Alexa skill written in ReasonML☆11Sep 6, 2017Updated 8 years ago
- GPU model checker☆13Apr 17, 2019Updated 6 years ago
- An interval library for OCaml☆16Dec 9, 2022Updated 3 years ago
- ☆12Apr 22, 2016Updated 9 years ago
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11May 20, 2019Updated 6 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- Irmin store backed by FoundationDB☆12Nov 19, 2019Updated 6 years ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- Map à la Binary Radix Tree☆19Mar 10, 2022Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Functional kernel written in OCaml.☆36Nov 14, 2013Updated 12 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020☆23Apr 12, 2024Updated last year
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Sep 23, 2021Updated 4 years ago
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- Example Coq plugin☆18Mar 23, 2018Updated 8 years ago
- persistent-mode afl-fuzz for ocaml☆17Nov 23, 2024Updated last year
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Stripped-down version of mccs with OCaml bindings☆23Jan 9, 2025Updated last year
- An OCurrent pipeline for testing submissions to opam-repository☆24Jan 14, 2026Updated 2 months ago
- Implementation of maps of integers with Patricia trees☆22Sep 4, 2020Updated 5 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Mar 2, 2026Updated 3 weeks ago
- Detect root CA certificates from the operating system☆14Nov 24, 2025Updated 4 months ago
- Unicode text for OCaml☆14Feb 19, 2018Updated 8 years ago
- A b-tree implementation for Mirage BLOCK devices☆15Oct 15, 2016Updated 9 years ago
- secret project☆17Mar 14, 2018Updated 8 years ago
- ZestDB☆18Nov 26, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Another way to describe mirage☆19Jul 8, 2019Updated 6 years ago
- Implementation of the Hash Array Mapped Trie data structure in OCaml☆13Jan 9, 2022Updated 4 years ago
- ☆13Nov 10, 2024Updated last year
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Feb 4, 2026Updated last month
- Explorations into reasonably ergonomic lens derivations☆21Apr 9, 2019Updated 6 years ago
- Helpers for using topkg with jbuilder☆15Oct 12, 2017Updated 8 years ago
- The Rocq Prover bot☆26Jan 30, 2026Updated last month