Alternatives and similar repositories for crane

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

• acharapko / fleetdb

  View on GitHub
  ☆12Dec 14, 2019Updated 6 years ago
• urcs-sync / Interval-Based-Reclamation

  View on GitHub
  Artifact for PPoPP'18
  ☆19Apr 11, 2022Updated 3 years ago
• columbia / smt-mc

  View on GitHub
  The Parrot stable and deterministic multi-threading system.
  ☆25Nov 9, 2013Updated 12 years ago
• tnm / libpaxos2

  View on GitHub
  A Paxos implementation in C originally by Marco Primi, built on top of libevent
  ☆36Jul 24, 2011Updated 14 years ago
• mit-pdos / scalefs

  View on GitHub
  ☆21Sep 22, 2017Updated 8 years ago
• StingySketch / Stingy-Sketch

  View on GitHub
  ☆13Jan 21, 2022Updated 4 years ago
• UWSysLab / NOPaxos

  View on GitHub
  NOPaxos consensus protocol
  ☆139Nov 17, 2020Updated 5 years ago
• shuaimu / rococo

  View on GitHub
  ☆35Feb 2, 2024Updated 2 years ago
• network-policy-tester / buzz

  View on GitHub
  ☆11Oct 26, 2015Updated 10 years ago
• epfl-dcsl / hovercraft

  View on GitHub
  ☆14Mar 29, 2020Updated 5 years ago
• HPDCS / schedule-hook

  View on GitHub
  A kernel module that dynamically patches the Linux kernel scheduler so as to allow running a custom function upon thread reschedule
  ☆14Feb 6, 2018Updated 8 years ago
• ornerylawn / channel

  View on GitHub
  Wait-free ring buffer for inter-thread communication using C++11 atomics
  ☆18Mar 17, 2015Updated 10 years ago
• ruigulala / ConAnalysis

  View on GitHub
  Concurrency Bug Vulnerability Analysis
  ☆12Sep 4, 2017Updated 8 years ago
• stonysystems / rolis

  View on GitHub
  Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions
  ☆17Feb 28, 2024Updated last year
• jrandall / petardfs

  View on GitHub
  PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)
  ☆16Sep 18, 2018Updated 7 years ago
• ramanala / PACE

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

  View on GitHub
  LIBBLE by Parameter Server
  ☆17Sep 17, 2018Updated 7 years ago
• zhypku / SDPaxos

  View on GitHub
  Prototype implementation and extended paper of SDPaxos
  ☆16Nov 30, 2018Updated 7 years ago
• efficient / qlease

  View on GitHub
  ☆24Oct 11, 2014Updated 11 years ago
• Krishnaps / Gem5-PCI-Express

  View on GitHub
  Gem5 with PCI Express integrated.
  ☆23Sep 29, 2018Updated 7 years ago
• sfu-dis / tabular

  View on GitHub
  Tabular: Efficiently Building Efficient Indexes (VLDB 2025)
  ☆23Apr 16, 2025Updated 9 months ago
• osrg / namazu-swarm

  View on GitHub
  CI Job Parallelizer built on Docker and Kubernetes
  ☆18Jun 7, 2017Updated 8 years ago
• dskarlatos / MicroScope

  View on GitHub
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆20Jun 26, 2020Updated 5 years ago
• alexrenz / AdaPM

  View on GitHub
  A fully adaptive, zero-tuning parameter manager that enables efficient distributed machine learning training
  ☆21Feb 23, 2023Updated 2 years ago
• katsuster / virt2phys

  View on GitHub
  A tool of translating virtual address of user space to physical address.
  ☆21Jul 3, 2017Updated 8 years ago
• muratdem / PlusCal-examples

  View on GitHub
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆81Oct 21, 2023Updated 2 years ago
• osadalakmal / cpp-raft

  View on GitHub
  Raft Consensus Algorithm Implementation in C++ (11)
  ☆25Nov 23, 2014Updated 11 years ago
• NYU-NEWS / janus

  View on GitHub
  ☆51Mar 13, 2024Updated last year
• emeryberger / dthreads

  View on GitHub
  dthreads: Efficient Deterministic Multithreading
  ☆70Nov 19, 2014Updated 11 years ago
• adilahmad17 / Obfuscuro

  View on GitHub
  Commodity Obfuscation Engine for Intel SGX
  ☆20Jul 21, 2019Updated 6 years ago
• ix-project / ix

  View on GitHub
  IX a protected dataplane operating system project
  ☆134Nov 6, 2017Updated 8 years ago
• UWSysLab / diamond

  View on GitHub
  Diamond reactive programming platform
  ☆26Jul 7, 2022Updated 3 years ago
• dsrhaslab / paio

  View on GitHub
  PAIO: General, Portable I/O Optimizations With Minor Application Modifications (FAST'22)
  ☆24Jun 7, 2023Updated 2 years ago
• jsiek / featherweight-C

  View on GitHub
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Feb 18, 2021Updated 4 years ago
• L-v-M / async

  View on GitHub
  ☆20Jan 8, 2023Updated 3 years ago
• jasonyu1996 / elasticlave

  View on GitHub
  ☆28Mar 4, 2025Updated 11 months ago
• elasql / elasql

  View on GitHub
  A relational database system made scalable, available, and elastic.
  ☆18Feb 2, 2023Updated 3 years ago
• AutomataLab / Pison

  View on GitHub
  Scalable Structural Index Constructor for JSON Analytics
  ☆27Oct 10, 2024Updated last year
• jsiek / gradual-typing-in-agda

  View on GitHub
  Formalizations of Gradually Typed Languages in Agda
  ☆59Dec 18, 2025Updated last month