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).☆13Updated this week
- ☆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
- 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
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 3 years ago
- 《算法竞赛入门经典》第二版（第2版）-例题习题解答☆12May 10, 2021Updated 5 years ago
- Source of my personal blog, using Markdown, Jekyll and Heroku☆14Aug 1, 2026Updated last week
- spring-boot with neo4j to build a simple social system☆11Apr 1, 2019Updated 7 years ago
- Lock-free (Non-blocking) Data Structures in Java☆13Dec 30, 2015Updated 10 years ago
- ☆13Nov 10, 2024Updated last year
- An example distributed lock using Replicant.☆16Jan 8, 2014Updated 12 years ago
- springBoot的简单整合neo4j☆12Jan 16, 2019Updated 7 years ago
- 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.
- 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
- A library to transform your REPL interation into Pathom queries☆14Jul 10, 2021Updated 5 years ago
- opentracing for pure applications☆17Jan 8, 2019Updated 7 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☆132Mar 1, 2024Updated 2 years ago
- Simple Analytics' Documentation☆17Updated this week
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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 4 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
- MongoDB Jepsen tests☆25Jul 24, 2023Updated 3 years ago
- Jane Street Capital's standard library overlay☆36Jul 10, 2026Updated last month
- Zaiste, these are awesome dotfiles.☆11May 18, 2023Updated 3 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 11 years ago
- A decentralized social media application built on top of the Arweave blockchain.☆20Feb 4, 2026Updated 6 months ago
- LaTeX source of journal paper: Martin Kleppmann and Alastair R. Beresford. A Conflict-Free Replicated JSON Datatype. IEEE Transactions on…☆12Aug 15, 2017Updated 8 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 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
- A Swiss Army knife for read-write quorum systems☆84Jun 7, 2021Updated 5 years ago
- Red-Black Trees for OCaml.☆23Aug 14, 2016Updated 9 years ago
- Clojure(Script) implementations of the self-describing multiformat specs☆21Mar 18, 2025Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 7 years ago