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:
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Aug 7, 2026Updated 2 months ago
- TLA+ Foundation☆33Jul 21, 2026Updated 3 months ago
- ☆11Sep 22, 2017Updated 9 years ago
- TLC models for the MongoDB Replication TLA+ specification.☆21Nov 3, 2020Updated 5 years ago
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Some CRDT implementations in Datalog☆18Jul 20, 2018Updated 8 years ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 4 years ago
- How to use TLA+ / TLA+ specification of the ClickHouse replication protocol☆17Jun 18, 2019Updated 7 years ago
- Integrating the CAP theorem into distributed language design.☆13Nov 21, 2018Updated 7 years ago
- ☆13Nov 10, 2024Updated last year
- Demos using the list-positions and list-formatting libraries.☆21Jun 17, 2024Updated 2 years ago
- Metrics endpoint for erldns.☆12Apr 11, 2025Updated last year
- A library to transform your REPL interation into Pathom queries☆14Jul 10, 2021Updated 5 years ago
- The source code used in the Oakland 2019 paper “Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols' Security”☆29Apr 1, 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.
- TLA+ specification of Flexible Paxos☆44Oct 14, 2026Updated 2 weeks ago
- A Simulation of the Kademlia Distributed Hash Table Protocol☆11May 24, 2016Updated 10 years ago
- ☆10Apr 20, 2026Updated 6 months ago
- ☆29Jul 4, 2024Updated 2 years ago
- A graduate seminar on languages and abstractions for distributed programming☆19Jul 16, 2022Updated 4 years ago
- Azure Cosmos TLA+ specifications☆298Dec 14, 2023Updated 2 years ago
- RaList: Purely Functional Random-access Lists for Racket.☆12Feb 18, 2019Updated 7 years ago
- JSX style data structure manipulation☆12Feb 1, 2017Updated 9 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- TLA+ specification for the Raft consensus algorithm☆13Sep 15, 2016Updated 10 years ago
- Erlang implementation of the Raft consensus algorithm.☆13Jun 8, 2013Updated 13 years ago
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 8 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 dynamic library to handle menu hierarchies in bukkit.☆11Jul 19, 2014Updated 12 years ago
- Output tracing information in your Go app based on environment variables☆12Sep 27, 2017Updated 9 years ago
- ☆38Jun 23, 2022Updated 4 years ago
- General-purpose encoder and decoder for amf0☆14Aug 1, 2022Updated 4 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Mar 30, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Fast, portable CBOR serialization for Clojure and ClojureScript — in a format the rest of the world already reads (RFC 8949 / IETF STD 94…☆20Sep 6, 2026Updated last month
- Test domain for tracking protection☆19Jul 6, 2022Updated 4 years ago
- python code for my variational RNN method☆14Jul 28, 2016Updated 10 years ago
- Server-managed CRDTs based on Akka☆226Mar 21, 2016Updated 10 years ago
- ☆12Jul 10, 2020Updated 6 years ago
- Experimental nanoblogging engine / anonymous group chat / outliner built on GUN☆14May 11, 2021Updated 5 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Mar 16, 2024Updated 2 years ago