Alternatives and similar repositories for filibuster

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

• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• FoundationDB / fdb-joshua
  FoundationDB Correctness service
  ☆30Updated this week
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆18Updated 4 years ago
• mitchellh / tlaplus-radix-tree
  TLA+ modules, specifications, and models for Radix trees.
  ☆34Updated 3 years ago
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆21Updated 3 months ago
• gravitational / rbac-linter
  ☆29Updated last year
• nyrkio / nyrkio
  Nyrkiö is an open source platform for detecting performance changes in a Continuous Performance Engineering workflow
  ☆36Updated this week
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆66Updated 3 months ago
• ottertune / ot-agent
  OtterTune Agent - metric collector for external databases
  ☆72Updated 11 months ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆34Updated 6 months ago
• mbutrovich / tigger
  ☆64Updated 2 years ago
• rakyll / myko
  A simple attribution engine.
  ☆31Updated 2 years ago
• open-telemetry / otel-arrow-collector
  [DoNotUse] OpenTelemetry Collector with Apache Arrow support FORK OF OPENTELEMETRY COLLECTOR
  ☆31Updated last year
• jolynch / performance-analysis
  My collection of various Jupyter notebooks and useful command line scripts for analyzing performance of services and code.
  ☆13Updated last year
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 2 months ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• parca-dev / parca-demo
  A collection of languages and frameworks profiled by Parca and Parca agent
  ☆14Updated 6 months ago
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆94Updated last month
• jepsen-io / local-fs
  Jepsen tests for local filesystems, running on a single node.
  ☆14Updated 2 years ago
• Cjen1 / consensus-tlaplus
  ☆11Updated 6 months ago
• scylladb / gemini
  Test data integrity by comparing against an Oracle running in parallel
  ☆30Updated this week
• LAC-Tech / interlog
  A local first persistent log
  ☆35Updated 4 months ago
• uber-research / CRISP
  ☆142Updated last month
• f5 / otel-arrow-adapter
  Adapter used to convert OTEL batches to/from OTEL Arrow batches in both directions.
  ☆40Updated last year
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆104Updated last year
• dorkamotorka / ebpf-multihost-map-sync
  Multihost eBPF Map Sync Setup
  ☆10Updated 5 months ago
• pbailis / cassandra-pbs
  Old Probabilistically Bounded Staleness (PBS) analysis for Cassandra (see http://www.bailis.org/blog/using-pbs-in-cassandra-1.2.0/)
  ☆30Updated 12 years ago
• pcholakov / p-promises
  A P model of durable Promises
  ☆13Updated last year
• tangledbytes / go-vsr
  ViewStamped Replication implementation in Go
  ☆39Updated last year
• mfleming / sieve
  A Python implementation of the SIEVE eviction algorithm
  ☆19Updated last year