Alternatives and similar repositories for CORDS

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

• ramanala / PACE

  View on GitHub
  Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems
  ☆15Nov 14, 2016Updated 9 years ago
• madthanu / alice

  View on GitHub
  ☆187Feb 12, 2018Updated 8 years ago
• junhe / wiscsee

  View on GitHub
  WiscSee tells if you are using SSDs in the right way.
  ☆49Apr 3, 2018Updated 7 years ago
• wpaxos / paxi

  View on GitHub
  Paxos protocol variants framework
  ☆26Mar 12, 2018Updated 7 years ago
• utsaslab / chipmunk

  View on GitHub
  Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)
  ☆19Jun 19, 2024Updated last year
• mirage / ocaml-openflow

  View on GitHub
  ☆12Aug 24, 2014Updated 11 years ago
• utsaslab / crashmonkey

  View on GitHub
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆206Oct 1, 2022Updated 3 years ago
• xephonhq / xephon-k

  View on GitHub
  A time series database prototype with multiple backends
  ☆23Feb 13, 2020Updated 6 years ago
• saleyn / netmon

  View on GitHub
  Erlang Network Monitor
  ☆11Apr 22, 2016Updated 9 years ago
• mwhittaker / linearizability

  View on GitHub
  Linearizability Visualizer
  ☆10Jan 24, 2015Updated 11 years ago
• rust-vmm / vfio-bindings

  View on GitHub
  ☆11Nov 26, 2021Updated 4 years ago
• kpcyrd / tr1pd

  View on GitHub
  tamper resistant audit log
  ☆17Aug 30, 2018Updated 7 years ago
• UWQuickstep / quickstep

  View on GitHub
  Quickstep project
  ☆44Nov 6, 2024Updated last year
• gaocegege / Blog

  View on GitHub
  Personal Blog in github.io
  ☆10Dec 31, 2025Updated last month
• gaocegege / bachelor-paper-2016

  View on GitHub
  my bachelor's thesis in SJTU about https://github.com/caicloud/cyclone
  ☆12Jan 4, 2018Updated 8 years ago
• dyweb / gitlab-android

  View on GitHub
  Unofficial GitLab Android client. Support self hosted GitLab and Push notifications
  ☆10May 18, 2016Updated 9 years ago
• kpcyrd / booty

  View on GitHub
  Minimal forensic/exfiltration/evil-maid/rescue live boot system
  ☆12Feb 28, 2020Updated 5 years ago
• dyweb / go-jaccount

  View on GitHub
  Go Client for jAccount
  ☆12Jul 18, 2025Updated 6 months ago
• mpvl / errdare

  View on GitHub
  ☆19May 31, 2018Updated 7 years ago
• epfl-labos / eagle

  View on GitHub
  ☆13Jan 16, 2019Updated 7 years ago
• marksteele / cinched

  View on GitHub
  Cinched is a microservice to provide cryptographic and key management operations.
  ☆10Feb 20, 2016Updated 9 years ago
• jepsen-io / knossos

  View on GitHub
  Verifies the linearizability of experimentally accessible histories.
  ☆417Jan 6, 2026Updated last month
• KeenS / WebAssembler-rs

  View on GitHub
  An in memory wasm assembler for Rust
  ☆11Mar 5, 2022Updated 3 years ago
• HenkPoley / split-io-scheduler

  View on GitHub
  Back/forward ported patches based on https://research.cs.wisc.edu/adsl/Software/split/
  ☆13Apr 30, 2016Updated 9 years ago
• esbullington / snabbp4

  View on GitHub
  p4 language running on Snabb Switch (work-in-progress)
  ☆12Feb 27, 2016Updated 9 years ago
• dyweb / sundial

  View on GitHub
  [WIP] Open Source WakaTime Server
  ☆14Feb 4, 2019Updated 7 years ago
• wgolab / WatCA

  View on GitHub
  The Waterloo Consistency Analyzer
  ☆15Oct 19, 2020Updated 5 years ago
• Feuerlabs / netlink

  View on GitHub
  netlink socket api
  ☆17Jun 5, 2019Updated 6 years ago
• rescrv / gitswitch

  View on GitHub
  Hubs operate at layer one; switches operate at layer two.
  ☆13Dec 12, 2015Updated 10 years ago
• dyweb / SJTUThesis

  View on GitHub
  DEPRECATED, please use upstream at @sjtug
  ☆13Dec 26, 2017Updated 8 years ago
• cohere-coop / loom

  View on GitHub
  smoothly run and observe apps on your development machine
  ☆14Mar 25, 2018Updated 7 years ago
• dbp / funtal

  View on GitHub
  FunTAL: mixing a functional language with assembly.
  ☆41Jun 5, 2017Updated 8 years ago
• sibylfs / sibylfs_src

  View on GitHub
  Source for SibylFS model and test tools
  ☆36Dec 23, 2020Updated 5 years ago
• scylladb / charybdefs

  View on GitHub
  ScyllaDB fault injection filesystem
  ☆253Apr 29, 2021Updated 4 years ago
• phosphore / BURN

  View on GitHub
  [WIP] Anti-Forensics ToolKit to clear post-intrusion sensible logfiles 🔥 (For Research Only)
  ☆13Jun 12, 2017Updated 8 years ago
• ept / cap-critique

  View on GitHub
  Source of paper “A critique of the CAP theorem”
  ☆16Dec 14, 2015Updated 10 years ago
• WiscADSL / MadFS

  View on GitHub
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆18Mar 5, 2023Updated 2 years ago
• pingcap / chaos

  View on GitHub
  A test framework for linearizability check with Go
  ☆211Jul 10, 2019Updated 6 years ago
• ahorn / linearizability-checker

  View on GitHub
  Fast linearizability checker
  ☆67Jun 16, 2015Updated 10 years ago