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
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆18Updated 4 years ago
• nyrkio / nyrkio
  Nyrkiö is an open source platform for detecting performance changes
  ☆34Updated this week
• FoundationDB / fdb-joshua
  FoundationDB Correctness service
  ☆29Updated 3 weeks ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆33Updated 2 months ago
• ottertune / ot-agent
  OtterTune Agent - metric collector for external databases
  ☆72Updated 7 months ago
• filibuster-testing / filibuster-java-instrumentation
  Filibuster instrumentation for the JVM.
  ☆17Updated last year
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• gravitational / rbac-linter
  ☆29Updated 10 months ago
• jolynch / performance-analysis
  My collection of various Jupyter notebooks and useful command line scripts for analyzing performance of services and code.
  ☆12Updated last year
• rakyll / myko
  A simple attribution engine.
  ☆31Updated last year
• LAC-Tech / interlog
  A local first persistent log
  ☆34Updated last month
• aphyr / jepsen-talks
  Slides and resources for talks on partition tolerance
  ☆33Updated 6 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆61Updated 2 years ago
• mitchellh / tlaplus-radix-tree
  TLA+ modules, specifications, and models for Radix trees.
  ☆33Updated 3 years ago
• justinj / nulldb
  ☆12Updated 7 months ago
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆89Updated last month
• vmware-archive / declarative-cluster-management
  Declarative cluster management using constraint programming, where constraints are described using SQL.
  ☆100Updated last year
• mbutrovich / tigger
  ☆64Updated last year
• mfleming / sieve
  A Python implementation of the SIEVE eviction algorithm
  ☆18Updated last year
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆20Updated 2 months ago
• monotone-studio / monotone
  embeddable cloud-native storage for events and time-series data
  ☆76Updated 9 months ago
• oxidecomputer / lethe
  A basic log-structured flash datastore
  ☆20Updated 2 years ago
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 3 years ago
• pcholakov / p-promises
  A P model of durable Promises
  ☆12Updated last year
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆64Updated last year
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆100Updated this week
• parca-dev / parca-demo
  A collection of languages and frameworks profiled by Parca and Parca agent
  ☆12Updated 2 months ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 2 months ago