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
  ☆61Updated this week
• amelielabs / amelie
  Relational Database for High-Intensity OLTP workloads.
  ☆64Updated this week
• MultiArrayQueue / MultiArrayQueue
  Multi-Array Queue program codes
  ☆75Updated 2 months ago
• kellabyte / holocron
  Holocron is an object storage based leader election library.
  ☆130Updated 6 months ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• pH14 / fdb-zk
  ZooKeeper server on top of FoundationDB
  ☆26Updated 4 years ago
• GavinRay97 / rosetta-db
  ☆17Updated 2 years ago
• danthegoodman1 / EpicEpoch
  A highly concurrent, low latency, highly available monotonic hybrid timestamp service.
  ☆22Updated 3 months ago
• flanfly / ron-crdt
  RON for Rust
  ☆21Updated 6 years ago
• pmwkaa / monotone
  Embeddable Cloud-Native Key-Value Storage.
  ☆91Updated last month
• nyrkio / nyrkio
  Nyrkiö is an open source platform for detecting performance changes
  ☆35Updated this week
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆63Updated 2 years ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆29Updated 3 weeks ago
• ydb-platform / tpcc
  TPC-C for YDB
  ☆10Updated 2 months ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆105Updated last year
• filibuster-testing / filibuster
  Prototype implementation of Service-Level Fault Injection Testing in Python.
  ☆70Updated 2 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆206Updated this week
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆100Updated this week
• justinj / nulldb
  ☆12Updated 9 months ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• zmaril / bpfquery
  Zack's experimental tool for querying BPF with SQL.
  ☆38Updated 6 months ago
• pganalyze / lint
  Check for missing indexes during development using constraint programming
  ☆39Updated 11 months ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆35Updated 7 months ago
• LAC-Tech / interlog
  A local first persistent log
  ☆35Updated 3 months ago
• psu-csl / replicated-store
  ☆21Updated 4 months ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆64Updated 2 months ago
• tidwall / bgen
  B-tree generator for C
  ☆130Updated last month
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆19Updated last month
• aqua-language / aqua
  A programming language for data stream analytics.
  ☆19Updated 2 months ago