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.
☆75Dec 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).☆13Feb 16, 2022Updated 4 years ago
- ☆11Sep 22, 2017Updated 8 years ago
- TLC models for the MongoDB Replication TLA+ specification.☆21Nov 3, 2020Updated 5 years ago
- Specifying and Verifying CRDT Protocols using TLA+☆41Jun 24, 2021Updated 4 years ago
- Distributed process groups with riak_core.☆72May 22, 2019Updated 6 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.
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 3 years ago
- Source of my personal blog, using Markdown, Jekyll and Heroku☆14Feb 24, 2026Updated last month
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 5 years ago
- TLA+ Foundation☆33Mar 30, 2026Updated 2 weeks ago
- Integrating the CAP theorem into distributed language design.☆13Nov 21, 2018Updated 7 years ago
- 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
- springBoot的简单整合neo4j☆12Jan 16, 2019Updated 7 years ago
- Metrics endpoint for erldns.☆12Apr 11, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 5 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Jul 26, 2024Updated last year
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- ☆28Jul 4, 2024Updated last year
- A graduate seminar on languages and abstractions for distributed programming☆19Jul 16, 2022Updated 3 years ago
- Fork of Will Glozer's erlang postgresql pool server, so it can be maintained and polished.☆31Apr 23, 2010Updated 15 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
- A JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆23Jul 3, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Clojure implementation of Godot engine tutorial☆38May 11, 2022Updated 3 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- Explorations into specification-as-a-value☆42Mar 15, 2013Updated 13 years ago
- Port of Tailwind CSS library to Garden format in Clojure☆55Apr 9, 2021Updated 5 years ago
- A full-stack prototype of a collaborative web application backed by a Datalog-inspired database.☆17Jul 15, 2020Updated 5 years ago
- Administration UI for Datascript, Datahike, and other Datalog databases☆56Oct 12, 2021Updated 4 years ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A decentralized social media application built on top of the Arweave blockchain.☆20Feb 4, 2026Updated 2 months ago
- MongoDB Jepsen tests☆25Jul 24, 2023Updated 2 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- A native Specter CLI, compiled with GraalVM native-image and executed by SCI.☆35Jul 3, 2021Updated 4 years ago
- A guide to smart contract security best practices☆20Mar 28, 2025Updated last year
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 8 years ago
- A Swiss Army knife for read-write quorum systems☆86Jun 7, 2021Updated 4 years ago