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:
- ☆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 last month
- 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
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Source of my personal blog, using Markdown, Jekyll and Heroku☆14Aug 1, 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
- ☆13Nov 10, 2024Updated last year
- A fluent API generator☆26Jan 26, 2026Updated 7 months 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 5 years ago
- A library to transform your REPL interation into Pathom queries☆14Jul 10, 2021Updated 5 years ago
- TLA+ specification of Flexible Paxos☆44Updated this week
- AI Agents on 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.
- opentracing for pure applications☆17Jan 8, 2019Updated 7 years 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
- framework for evaluating (planet-scale) consensus protocols☆133Mar 1, 2024Updated 2 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- My implementation of CASPaxos☆11Feb 23, 2019Updated 7 years ago
- Convergent and Commutative Replicated Data Types for Scala☆15Feb 9, 2014Updated 12 years ago
- MongoDB Jepsen tests☆25Jul 24, 2023Updated 3 years ago
- Jane Street Capital's standard library overlay☆36Jul 10, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 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
- 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
- Red-Black Trees for OCaml.☆24Aug 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
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 7 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.
- Erlang Tarantool driver☆13Jun 29, 2018Updated 8 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆101Jul 26, 2024Updated 2 years ago
- Read a list of paper titles and save their DBLP bibtex entries in a file.☆10Nov 19, 2019Updated 6 years ago
- Server-managed CRDTs based on Akka☆227Mar 21, 2016Updated 10 years ago
- Prototype implementation of Lasp in Erlang.☆894Mar 2, 2021Updated 5 years ago
- Read .ini-files into Clojure maps☆24Dec 5, 2021Updated 4 years ago
- Конспекты лекций☆13Jun 4, 2017Updated 9 years ago