Alternatives and similar repositories for Chotki:

Users that are interested in Chotki are comparing it to the libraries listed below

• gritzko / librdx
  Replicated Data eXchange format C lib
  ☆55Updated this week
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 3 months ago
• pmwkaa / monotone
  Embeddable Cloud-Native Key-Value Storage.
  ☆90Updated last week
• picodata / picodata
  This is a mirror of Picodata, an in-memory database with plugins in Rust.
  ☆41Updated this week
• ydb-platform / tpcc
  TPC-C for YDB
  ☆10Updated last month
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆61Updated 2 years ago
• danthegoodman1 / EpicEpoch
  A highly concurrent, low latency, highly available monotonic hybrid timestamp service.
  ☆22Updated 2 months ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• tangledbytes / go-vsr
  ViewStamped Replication implementation in Go
  ☆38Updated last year
• LAC-Tech / interlog
  A local first persistent log
  ☆35Updated last month
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆103Updated 11 months ago
• psu-csl / replicated-store
  ☆20Updated 3 months ago
• justinj / nulldb
  ☆12Updated 8 months ago
• kellabyte / holocron
  Holocron is an object storage based leader election library.
  ☆128Updated 4 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆179Updated this week
• kapetan-io / querator
  A Reservation queue with Almost Exactly Once Delivery (AEOD) semantics
  ☆49Updated 2 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆95Updated this week
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆64Updated 3 weeks ago
• flanfly / ron-crdt
  RON for Rust
  ☆21Updated 6 years ago
• Ravikisha / Redis-Clone
  A Redis clone database implemented in both Go and Rust. This project aims to replicate the core functionalities of Redis, providing a sim…
  ☆15Updated 3 months ago
• ivanyu / awesome-deterministic-simulation-testing
  A curated list of awesome deterministic simulation testing resources 😎
  ☆99Updated 3 weeks ago
• tidwall / bgen
  B-tree generator for C
  ☆121Updated this week
• GavinRay97 / rosetta-db
  ☆17Updated 2 years ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆34Updated 3 months ago
• picodata / stroppy
  ☆22Updated last year
• nyrkio / nyrkio
  Nyrkiö is an open source platform for detecting performance changes
  ☆34Updated last week
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆33Updated 2 months ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆35Updated 6 months ago
• eBay / block-aggregator
  ☆41Updated 2 years ago