Alternatives and similar repositories for wasabi

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

• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆122Updated this week
• michaelzenz / jecci
  Jepsen and Elle based Consistency Checking Interface
  ☆20Updated 3 years ago
• eniac / mucache
  A caching framework for microservice applications
  ☆20Updated last year
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆24Updated last year
• Blueprint-uServices / blueprint
  Blueprint Microservices Compiler: Flexible and Configurable Open-Source Microservice Benchmark Applications
  ☆30Updated last month
• VeriEQL / VeriEQL
  ☆13Updated 5 months ago
• filibuster-testing / filibuster
  Prototype implementation of Service-Level Fault Injection Testing in Python.
  ☆70Updated 2 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• xlab-uiuc / acto
  Push-Button End-to-End Testing of Kubernetes Operators and Controllers
  ☆126Updated this week
• parttimenerd / concurrency-fuzz-scheduler
  Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf
  ☆28Updated 5 months ago
• numbleroot / nemo
  Nemo debugs Distributed Systems by analyzing provenance graphs obtained during fault injection.
  ☆19Updated 5 years ago
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆40Updated this week
• epfl-labos / eagle
  ☆13Updated 6 years ago
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆16Updated last year
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated 2 years ago
• qaqcatz / impomysql
  Detecting Logic Bugs in MySQL through Implication Oracle
  ☆1Updated last year
• dranov / raft-tla
  ☆21Updated 3 years ago
• UWASL / NEAT
  A testing framework for distributed systems that can inject different types of network-partitioning faults
  ☆15Updated 3 years ago
• dassl-uiuc / LazyLog-Artifact
  LazyLog: A New Shared Log Abstraction for Low-Latency Applications
  ☆26Updated 2 months ago
• PingCAP-QE / wreck-it
  This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version
  ☆12Updated 5 years ago
• PingCAP-QE / go-sqlancer
  go-sqlancer
  ☆76Updated 4 years ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 2 weeks ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆192Updated last month
• uwplse / Casper
  A compiler for automatically re-targeting sequential Java code to Apache Spark.
  ☆50Updated 2 years ago
• bajinsheng / bibtidy
  Search, check, and autofix your BibTex files!
  ☆25Updated last year
• sslab-gatech / apollo
  A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.
  ☆71Updated 4 years ago
• rs3lab / KFlex
  ☆30Updated 4 months ago
• muratdem / MDBTLA
  High level model for MongoDB consistency
  ☆13Updated 2 weeks ago
• GDPRbench / GDPRbench
  Benchmarking how quickly storage systems respond to GDPR queries
  ☆10Updated 4 years ago
• tcse-iscas / Mocket
  TLA+ model checking guided testing for distributed systems
  ☆16Updated last year