Alternatives and similar repositories for NIFTY

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

• UWASL / NEAT
  A testing framework for distributed systems that can inject different types of network-partitioning faults
  ☆15Updated 3 years ago
• scalog / scalog
  reimplementing scalog from scratch
  ☆30Updated 4 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 4 years ago
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆18Updated 4 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆52Updated 7 years ago
• belliottsmith / accord
  ☆26Updated 3 years ago
• utsaslab / crashmonkey
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆200Updated 2 years ago
• dasebe / robinhoodcache
  RobinHood the first tail latency-aware caching system
  ☆96Updated 5 years ago
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 4 years ago
• epfl-dcsl / lancet-tool
  ☆29Updated 10 months ago
• dranov / raft-tla
  ☆21Updated 3 years ago
• shuaimu / rococo
  ☆35Updated last year
• daq-db / daqdb
  DB for DAQ systems based on Persistent Memory and NVMe drives
  ☆21Updated 5 years ago
• efficient / microservices_microbenchmarks
  Code for the benchmarks presented in https://www.usenix.org/conference/atc18/presentation/boucher
  ☆12Updated 6 years ago
• stanford-futuredata / msketch
  Moments Sketch Code
  ☆40Updated 6 years ago
• TU-Berlin-DIMA / grizzly-prototype
  Grizzly: Efficient Stream Processing Through Adaptive Query Compilation
  ☆16Updated 5 years ago
• WiscADSL / cuttlefs
  FUSE file system with private page cache to simulate post fsync failure characteristics of modern file systems
  ☆29Updated 4 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• tcse-iscas / Mocket
  TLA+ model checking guided testing for distributed systems
  ☆16Updated last year
• aganesan4 / CORDS
  File-system fault injection framework for distributed storage systems
  ☆66Updated 6 years ago
• stanford-mast / reflex
  ReFlex: Remote Flash == Local Flash
  ☆90Updated 6 years ago
• P4xos / P4xos
  ☆11Updated 7 years ago
• tuxology / readaheadstat
  Small tool to measure readahead cache performance
  ☆11Updated 4 years ago
• SJTU-IPADS / dst
  A decentralized scalar timestamp scheme
  ☆16Updated 4 years ago
• ds2-lab / infinistore
  InfiniStore: an elastic serverless cloud storage system (VLDB'23)
  ☆23Updated 2 years ago
• mitchellh / tlaplus-radix-tree
  TLA+ modules, specifications, and models for Radix trees.
  ☆33Updated 3 years ago
• LPD-EPFL / flodb
  A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.
  ☆26Updated 8 years ago
• mfleming / performance-tools
  A collection of performance-related tools and scripts
  ☆67Updated 10 months ago
• vmware-archive / declarative-cluster-management
  Declarative cluster management using constraint programming, where constraints are described using SQL.
  ☆101Updated 2 years ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆104Updated last year