filibuster-testing / filibuster

Related projects ⓘ

Alternatives and complementary repositories for filibuster

• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• gravitational / rbac-linter
  ☆28Updated 8 months ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆18Updated 4 years ago
• rakyll / myko
  A simple attribution engine.
  ☆31Updated last year
• authzed / zanzibar-annotated
  Google's Zanzibar paper annotated for folks outside of Google
  ☆73Updated this week
• filibuster-testing / filibuster-java-instrumentation
  Filibuster instrumentation for the JVM.
  ☆15Updated 9 months ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• pcholakov / p-promises
  A P model of durable Promises
  ☆12Updated last year
• mbutrovich / tigger
  ☆63Updated last year
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆64Updated last year
• ottertune / ot-agent
  OtterTune Agent - metric collector for external databases
  ☆70Updated 5 months ago
• mitchellh / tlaplus-radix-tree
  TLA+ modules, specifications, and models for Radix trees.
  ☆33Updated 3 years ago
• oxidecomputer / lethe
  A basic log-structured flash datastore
  ☆20Updated 2 years ago
• justinj / nulldb
  ☆12Updated 5 months ago
• nyrkio / nyrkio
  Nyrkiö is an open source platform for detecting performance changes
  ☆32Updated this week
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆52Updated last month
• mfleming / sieve
  A Python implementation of the SIEVE eviction algorithm
  ☆17Updated 10 months ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆28Updated last week
• FoundationDB / fdb-joshua
  FoundationDB Correctness service
  ☆28Updated 2 months ago
• Cjen1 / consensus-tlaplus
  ☆11Updated last month
• resonatehq / durable-promise-specification
  Durable Promise Specification
  ☆84Updated this week
• LAC-Tech / interlog
  A local first persistent log
  ☆32Updated this week
• tangledbytes / go-vsr
  ViewStamped Replication implementation in Go
  ☆38Updated last year
• scylladb / gemini
  Test data integrity by comparing against an Oracle running in parallel
  ☆31Updated this week
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• open-telemetry / otel-arrow-collector
  [DoNotUse] OpenTelemetry Collector with Apache Arrow support FORK OF OPENTELEMETRY COLLECTOR
  ☆31Updated last year
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆20Updated 2 weeks ago
• kellabyte / holocron
  Holocron is an object storage based leader election library.
  ☆126Updated last month