learn-decentralized-systems / ChotkiLinks
An LSM database turned a CRDT database. Really fast counters!
☆16Updated 8 months ago
Alternatives and similar repositories for Chotki
Users that are interested in Chotki are comparing it to the libraries listed below
Sorting:
- Replicated Data eXchange format C lib☆113Updated 2 weeks ago
- RDX implementation in Go☆35Updated last week
- Holocron is an object storage based leader election library.☆129Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Nyrkiö is an open source platform for detecting performance changes in a Continuous Performance Engineering workflow☆46Updated this week
- An LSM database turned a CRDT database. Really fast counters!☆48Updated last month
- TLA+ specifications for Kafka related algorithms☆84Updated 8 months ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Zack's experimental tool for querying BPF with SQL.☆39Updated last year
- A little Delta Lake/Iceberg inspired database implementation in Go☆43Updated last year
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.☆207Updated 3 years ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆142Updated this week
- Probabilistic transaction graph for optimistic concurrency control.☆49Updated 10 months ago
- ☆102Updated 3 years ago
- An Almost Exactly Once Delivery (AEOD) queue☆77Updated 3 months ago
- RON for Rust☆20Updated 6 years ago
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆61Updated 11 months ago
- TPC-C for YDB☆12Updated last month
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆38Updated last week
- ☆18Updated 4 months ago
- Relational Database for High-Intensity, Contention-Free OLTP.☆92Updated this week
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- A basic log-structured flash datastore☆20Updated 3 years ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆256Updated 2 weeks ago
- ☆21Updated last year
- LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes☆163Updated 3 months ago
- Network Block & File Store☆80Updated this week
- CASPaxos: Replicated State Machines without logs☆102Updated 6 years ago
- Embeddable Cloud-Native Key-Value Storage For Sequential Data.☆102Updated 3 months ago
- An experimental edge key-value database built on top of FoundationDB.☆11Updated 9 months ago