columbia/crane external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

columbia/crane

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/columbia/crane)

Close

columbia / craneView on GitHubMore

• External links
• Readme badge

Transparent Paxos

☆45Jun 5, 2019Updated 6 years ago

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
• UWSysLab / NOPaxos

  View on GitHub
  NOPaxos consensus protocol
  ☆139Nov 17, 2020Updated 5 years ago
• network-policy-tester / buzz

  View on GitHub
  ☆11Oct 26, 2015Updated 10 years ago
• shuaimu / rococo

  View on GitHub
  ☆35Feb 2, 2024Updated 2 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
• atomix / atomix-jepsen

  View on GitHub
  Atomix Jepsen tests
  ☆14Feb 7, 2017Updated 9 years ago
• ruigulala / ConAnalysis

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

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

  View on GitHub
  Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions
  ☆17Feb 28, 2024Updated 2 years ago
• columbia / appdoctor

  View on GitHub
  AppDoctor
  ☆16Mar 8, 2017Updated 8 years ago
• efficient / qlease

  View on GitHub
  ☆24Oct 11, 2014Updated 11 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
• 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)
  ☆22Apr 16, 2025Updated 10 months ago
• djwillia / solo5

  View on GitHub
  The Solo5 unikernel
  ☆14Apr 10, 2019Updated 6 years 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
• katsuster / virt2phys

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

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

  View on GitHub
  Library wrapper and system-level tracing utilities
  ☆47Feb 22, 2017Updated 9 years ago
• flexible-address-space / flexspace

  View on GitHub
  Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22
  ☆21Mar 17, 2025Updated 11 months ago
• muratdem / PlusCal-examples

  View on GitHub
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆81Oct 21, 2023Updated 2 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
• columbia / sunlight

  View on GitHub
  ☆20Feb 19, 2016Updated 10 years ago
• adilahmad17 / Obfuscuro

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

  View on GitHub
  Diamond reactive programming platform
  ☆26Jul 7, 2022Updated 3 years ago
• ix-project / ix

  View on GitHub
  IX a protected dataplane operating system project
  ☆134Nov 6, 2017Updated 8 years ago
• jsiek / featherweight-C

  View on GitHub
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Feb 18, 2021Updated 5 years ago
• nathanielherman / sto

  View on GitHub
  Software Transactional Objects
  ☆21Feb 9, 2018Updated 8 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
• stonysystems / depfast-ae

  View on GitHub
  ☆19Jan 9, 2025Updated last year
• L-v-M / async

  View on GitHub
  ☆20Jan 8, 2023Updated 3 years ago
• snuspl / cruise

  View on GitHub
  Cruise: A Distributed Machine Learning Framework with Automatic System Configuration
  ☆26Mar 19, 2019Updated 6 years ago