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
Sorting:
- An example Alexa skill written in ReasonML☆11Sep 6, 2017Updated 8 years ago
- ☆12Apr 22, 2016Updated 9 years ago
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11May 20, 2019Updated 6 years ago
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 5 years ago
- Irmin store backed by FoundationDB☆12Nov 19, 2019Updated 6 years ago
- A b-tree implementation for Mirage BLOCK devices☆15Oct 15, 2016Updated 9 years ago
- An interval library for OCaml☆16Dec 9, 2022Updated 3 years ago
- Map à la Binary Radix Tree☆19Mar 10, 2022Updated 3 years ago
- ☆13Nov 10, 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
- Example Coq plugin☆18Mar 23, 2018Updated 7 years ago
- 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
- A simple BDD library for OCaml☆13May 20, 2025Updated 9 months ago
- Implementation of the Hash Array Mapped Trie data structure in OCaml☆13Jan 9, 2022Updated 4 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆24Oct 21, 2024Updated last year
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- Oracle OCI binding for OCaml based on OraTcl☆16Jan 19, 2016Updated 10 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Feb 23, 2026Updated last week
- ZestDB☆18Nov 26, 2018Updated 7 years ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- Fast websocket library for OCaml, based on angstrom/httpaf☆31Oct 1, 2023Updated 2 years ago
- persistent-mode afl-fuzz for ocaml☆17Nov 23, 2024Updated last year
- Helpers for using topkg with jbuilder☆15Oct 12, 2017Updated 8 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Updated this week
- Unicode text for OCaml☆14Feb 19, 2018Updated 8 years ago
- An OCurrent pipeline for testing submissions to opam-repository☆24Jan 14, 2026Updated last month
- An automatic require loader for OCaml toplevels☆19Feb 27, 2019Updated 7 years ago
- Detect root CA certificates from the operating system☆14Nov 24, 2025Updated 3 months ago
- Stripped-down version of mccs with OCaml bindings☆23Jan 9, 2025Updated last year
- Easy OCaml scripts (unreleased)☆20Feb 13, 2026Updated 3 weeks ago
- MirageOS unikernels☆20May 31, 2022Updated 3 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- Another way to describe mirage☆19Jul 8, 2019Updated 6 years ago
- SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers☆20Jul 9, 2023Updated 2 years ago
- collect activity and format as markdown for a journal☆18Sep 2, 2021Updated 4 years ago
- secret project☆17Mar 14, 2018Updated 7 years ago
- Streaming ZIP XML XLSX parser☆20Dec 22, 2024Updated last year
- Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020☆23Apr 12, 2024Updated last year