Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programming Languages (PACMPL), 2017.
☆78Dec 18, 2022Updated 3 years ago
Alternatives and similar repositories for crdt-isabelle
Users that are interested in crdt-isabelle are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Apr 3, 2019Updated 7 years ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Aug 7, 2026Updated 2 months ago
- ☆11Sep 22, 2017Updated 9 years ago
- TLC models for the MongoDB Replication TLA+ specification.☆20Nov 3, 2020Updated 5 years ago
- Specifying and Verifying CRDT Protocols using TLA+☆42Jun 24, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Some CRDT implementations in Datalog☆18Jul 20, 2018Updated 8 years ago
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 4 years ago
- 《算法竞赛入门经典》第二版（第2版）-例题习题解答☆12May 10, 2021Updated 5 years ago
- Source of my personal blog, using Markdown, Jekyll and Heroku☆14Sep 25, 2026Updated 2 weeks ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 4 years ago
- spring-boot with neo4j to build a simple social system☆11Apr 1, 2019Updated 7 years ago
- ot-coq☆17Sep 5, 2023Updated 3 years ago
- Distributed process groups with riak_core.☆72May 22, 2019Updated 7 years ago
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆36Oct 18, 2021Updated 4 years ago
- A library to transform your REPL interation into Pathom queries☆14Jul 10, 2021Updated 5 years ago
- TLA+ specification of Flexible Paxos☆44Sep 14, 2026Updated 3 weeks ago
- ☆29Jul 4, 2024Updated 2 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Dec 24, 2018Updated 7 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- framework for evaluating (planet-scale) consensus protocols☆133Mar 1, 2024Updated 2 years ago
- An HTTP server packaged with postgresql, jaegar-all-in-one, and perf-test to record ad deliveries, clicks, and installs, and query the st…☆10Sep 16, 2021Updated 5 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Jane Street Capital's standard library overlay☆36Jul 10, 2026Updated 3 months ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 years ago
- python code for my variational RNN method☆14Jul 28, 2016Updated 10 years ago
- LaTeX source of journal paper: Martin Kleppmann and Alastair R. Beresford. A Conflict-Free Replicated JSON Datatype. IEEE Transactions on…☆12Aug 15, 2017Updated 9 years ago
- A full-stack prototype of a collaborative web application backed by a Datalog-inspired database.☆17Jul 15, 2020Updated 6 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 5 years ago
- ☆15Jan 17, 2015Updated 11 years ago
- A Swiss Army knife for read-write quorum systems☆84Jun 7, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 12 years ago
- Clojure(Script) implementations of the self-describing multiformat specs☆21Mar 18, 2025Updated last year
- Twitter Sentiment Analysis☆10Jul 20, 2015Updated 11 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- simdjson bindings for erlang☆17Oct 4, 2020Updated 6 years ago
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 7 years ago
- Erlang Tarantool driver☆13Jun 29, 2018Updated 8 years ago