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☆111Updated 3 months ago
- Nyrkiö is an open source platform for detecting performance changes in a Continuous Performance Engineering workflow☆46Updated 3 weeks ago
- TLA+ specifications for Kafka related algorithms☆84Updated 7 months ago
- TPC-C for YDB☆12Updated last month
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.☆206Updated 3 years ago
- RDX implementation in Go☆33Updated 2 weeks ago
- Embeddable Cloud-Native Key-Value Storage For Sequential Data.☆102Updated 3 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆251Updated last week
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Holocron is an object storage based leader election library.☆129Updated 11 months ago
- Network Block & File Store☆78Updated this week
- B-tree generator for C☆142Updated 4 months ago
- Relational Database for High-Intensity, Contention-Free OLTP.☆89Updated this week
- An LSM database turned a CRDT database. Really fast counters!☆46Updated last week
- PostgreSQL Pooler☆116Updated 3 weeks ago
- CASPaxos: Replicated State Machines without logs☆102Updated 6 years ago
- LazyFS: A FUSE Filesystem with an internal dedicated page cache, which can be used to simulate data loss on unsynced writes☆162Updated 2 months ago
- High-resolution, low-overhead systems telemetry☆239Updated last week
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 4 years ago
- A little Delta Lake/Iceberg inspired database implementation in Go☆43Updated 11 months ago
- RON for Rust☆20Updated 6 years ago
- ☆29Updated last week
- Prototype implementation of Service-Level Fault Injection Testing in Python.☆72Updated 2 years ago
- Zack's experimental tool for querying BPF with SQL.☆39Updated last year
- Kibana Elastic Translation Clickhouse User Proxy☆14Updated 2 years ago
- This is a mirror of Picodata, an in-memory database with plugins in Rust.☆81Updated this week
- ☆17Updated 2 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- ZooKeeper server on top of FoundationDB☆26Updated 4 years ago