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.
☆77Dec 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:
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Aug 7, 2026Updated 3 weeks ago
- Byzantine Eventual Consistency☆23Jul 12, 2023Updated 3 years ago
- ☆11Sep 22, 2017Updated 8 years ago
- TLC models for the MongoDB Replication TLA+ specification.☆20Nov 3, 2020Updated 5 years ago
- Specifying and Verifying CRDT Protocols using TLA+☆41Jun 24, 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.
- Some CRDT implementations in Datalog☆18Jul 20, 2018Updated 8 years ago
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 3 years ago
- Source of my personal blog, using Markdown, Jekyll and Heroku☆14Aug 1, 2026Updated 3 weeks ago
- TLA+ Foundation☆35Jul 21, 2026Updated last month
- 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
- Integrating the CAP theorem into distributed language design.☆13Nov 21, 2018Updated 7 years ago
- ☆13Nov 10, 2024Updated last year
- A fluent API generator☆26Jan 26, 2026Updated 7 months 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.
- springBoot的简单整合neo4j☆12Jan 16, 2019Updated 7 years ago
- ot-coq☆17Sep 5, 2023Updated 2 years ago
- Metrics endpoint for erldns.☆12Apr 11, 2025Updated last year
- Distributed process groups with riak_core.☆72May 22, 2019Updated 7 years ago
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 5 years ago
- ☆34Oct 18, 2021Updated 4 years ago
- TLA+ specification of Flexible Paxos☆42Aug 24, 2026Updated last week
- A library to transform your REPL interation into Pathom queries☆14Jul 10, 2021Updated 5 years ago
- ☆28Jul 4, 2024Updated 2 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.
- A graduate seminar on languages and abstractions for distributed programming☆19Jul 16, 2022Updated 4 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- framework for evaluating (planet-scale) consensus protocols☆132Mar 1, 2024Updated 2 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 5 years ago
- My implementation of CASPaxos☆11Feb 23, 2019Updated 7 years ago
- Jane Street Capital's standard library overlay☆36Jul 10, 2026Updated last month
- 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A full-stack prototype of a collaborative web application backed by a Datalog-inspired database.☆17Jul 15, 2020Updated 6 years ago
- A Swiss Army knife for read-write quorum systems☆84Jun 7, 2021Updated 5 years ago
- Red-Black Trees for OCaml.☆23Aug 14, 2016Updated 10 years ago
- Clojure(Script) implementations of the self-describing multiformat specs☆21Mar 18, 2025Updated last year
- simdjson bindings for erlang☆17Oct 4, 2020Updated 5 years ago
- Experimental nanoblogging engine / anonymous group chat / outliner built on GUN☆14May 11, 2021Updated 5 years ago
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 7 years ago