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.
☆76Dec 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).☆13Feb 16, 2022Updated 4 years ago
- ☆11Sep 22, 2017Updated 8 years ago
- Specifying and Verifying CRDT Protocols using TLA+☆41Jun 24, 2021Updated 4 years ago
- A library to transform your REPL interation into Pathom queries☆14Jul 10, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Distributed process groups with riak_core.☆72May 22, 2019Updated 7 years ago
- Some CRDT implementations in Datalog☆18Jul 20, 2018Updated 7 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☆14Feb 24, 2026Updated 3 months ago
- 《算法竞赛入门经典》第二版（第2版）-例题习题解答☆11May 10, 2021Updated 5 years ago
- Integrating the CAP theorem into distributed language design.☆13Nov 21, 2018Updated 7 years ago
- Lock-free (Non-blocking) Data Structures in Java☆13Dec 30, 2015Updated 10 years ago
- ☆13Nov 10, 2024Updated last year
- Metrics endpoint for erldns.☆12Apr 11, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- framework for evaluating (planet-scale) consensus protocols☆130Mar 1, 2024Updated 2 years ago
- A simple load balancer for Erlang processes☆19Oct 2, 2014Updated 11 years ago
- ☆35Oct 18, 2021Updated 4 years ago
- TLA+ specification of Flexible Paxos☆42Sep 29, 2023Updated 2 years ago
- A graduate seminar on languages and abstractions for distributed programming☆19Jul 16, 2022Updated 3 years ago
- Test your concurrent thoughts, don't let it be a nightmare☆13Nov 5, 2021Updated 4 years ago
- Fork of Will Glozer's erlang postgresql pool server, so it can be maintained and polished.☆31Apr 23, 2010Updated 16 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 JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆23Jul 3, 2024Updated last year
- Clojure implementation of Godot engine tutorial☆38May 11, 2022Updated 4 years ago
- DEPRECATED: Accelerate backend for NVIDIA GPUs☆55Mar 31, 2017Updated 9 years ago
- ☆44Jan 30, 2021Updated 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
- 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
- A full-stack prototype of a collaborative web application backed by a Datalog-inspired database.☆17Jul 15, 2020Updated 5 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.
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- MongoDB Jepsen tests☆25Jul 24, 2023Updated 2 years ago
- A native Specter CLI, compiled with GraalVM native-image and executed by SCI.☆35Jul 3, 2021Updated 4 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 8 years ago
- ☆15Jan 17, 2015Updated 11 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago