☆23May 24, 2025Updated last year
Alternatives and similar repositories for replicated-store
Users that are interested in replicated-store are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ZAB dissector for Wireshark☆10Aug 20, 2026Updated 2 months ago
- The Adaptive Radix Tree With Optimistic Synchronization.☆21Nov 15, 2018Updated 7 years ago
- LSM based key-value store in rust, design for cloud☆87Feb 27, 2022Updated 4 years ago
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆14Feb 6, 2021Updated 5 years ago
- What makes Paxos tick?☆11Apr 16, 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.
- log for concurrent workloads, with support for atomic batches and in-order recovery☆37May 16, 2022Updated 4 years ago
- This repository hosts the code used for the following paper: Claude Barthels, Ingo Müller, Konstantin Taranov, Torsten Hoefler, Gustavo A…☆11Nov 1, 2019Updated 6 years ago
- An implementation of various in-memory concurrency control protocols☆29Mar 30, 2024Updated 2 years ago
- Database re-evaluation for TiDB, YugabyteDB☆13Aug 31, 2020Updated 6 years ago
- TLA+ specifications related to Viewstamped Replication☆52Jan 22, 2023Updated 3 years ago
- A docker file for running FoundationDB server and client☆10May 13, 2018Updated 8 years ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- The source code for isitdown.site web application.☆13Jun 12, 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.
- On the correctness of Egalitarian Paxos☆19Jun 27, 2019Updated 7 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Jun 3, 2018Updated 8 years ago
- Event sourcing and CQRS toolkit with SQL persistence, projections, and subscriptions☆10Updated this week
- Concurrent (with OLC) Adaptive Radix Trie in Golang.☆13Jul 31, 2020Updated 6 years ago
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆48Jun 5, 2026Updated 4 months ago
- Specifying and Verfying Zab using TLA+☆11Dec 12, 2021Updated 4 years ago
- An Android soft keyboard using Morse code.☆15Jun 22, 2013Updated 13 years ago
- Just Another Logging library for C++☆12Oct 6, 2026Updated 3 weeks ago
- A demo of concurrency primitives in x64 assembly☆18Jan 6, 2022Updated 4 years 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.
- Scripts and code written whilst learning and experimenting with machine learning☆12Jul 18, 2022Updated 4 years ago
- Reproduce a Java 21 virtual threads deadlock scenario in TLA+☆10Aug 2, 2024Updated 2 years ago
- Aerie: a regex-like engine nested word grammars☆16Feb 5, 2022Updated 4 years ago
- Sample implementation of RDBMS.☆21Sep 24, 2026Updated last month
- ☆40Jun 20, 2020Updated 6 years ago
- A formatter for TLA+ specs☆15Oct 14, 2026Updated 2 weeks ago
- ☆16Jul 15, 2025Updated last year
- Benchmark hash tables vs hashed sorting☆15Sep 8, 2025Updated last year
- Template project for building PostgreSQL extensions☆37Dec 5, 2025Updated 10 months 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.
- ☆12May 23, 2025Updated last year
- An exception backtracing library☆13Apr 4, 2022Updated 4 years ago
- A Postgres Extension to Manage Extensions! (As well as some random stuff)☆15May 31, 2023Updated 3 years ago
- Implementation of GuP [Arai+ SIGMOD'23]☆10Jan 10, 2024Updated 2 years ago
- Struggleliu's Blog☆11Jan 9, 2015Updated 11 years ago
- User-friendly extensions to MeSH☆11Feb 4, 2016Updated 10 years ago
- The ancestral computer game, circa 1976.☆15Jun 8, 2022Updated 4 years ago