Alternatives and similar repositories for p4p-2015

Users that are interested in p4p-2015 are comparing it to the libraries listed below

• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 10 years ago
• C5T / Current
  C++ framework for realtime machine learning.
  ☆99Updated 2 months ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 8 years ago
• uchicago-cs / cmsc23300
  CMSC 23300 - Networks and Distributed Systems
  ☆68Updated 6 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆133Updated 9 years ago
• sbinet / perfbook
  mirror of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git
  ☆74Updated 13 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆191Updated last year
• ongardie / raft-pseudocode
  attempt at summarizing Raft in one page of pseudo-code
  ☆20Updated 7 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆136Updated 5 years ago
• ShimProfiler / SHIM
  ☆55Updated 10 years ago
• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 8 years ago
• vijay03 / cs378-f19
  Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept
  ☆41Updated 6 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆48Updated 5 years ago
• rlu-sync / rlu
  Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
  ☆49Updated 10 years ago
• google / hashing-demo
  Sample implementation of a proposed C++ hashing framework
  ☆29Updated 10 years ago
• silt / silt
  SILT: A Memory-Efficient, High-Performance Key-Value Store
  ☆178Updated 3 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆236Updated 5 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆62Updated 10 years ago
• mfleming / performance-resources
  A collection of software performance content, blogs, books, and lists.
  ☆121Updated 2 years ago
• wlloyd / eiger
  A research fork of cassandra that provides causal+ consistency, read-only transaction, and write-only transaction across all the servers …
  ☆77Updated 8 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆38Updated 11 years ago
• BartoszMilewski / Concurrency
  ☆50Updated 5 years ago
• cilkplus / llvm
  The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.
  ☆70Updated 10 years ago
• UWSysLab / diamond
  Diamond reactive programming platform
  ☆26Updated 3 years ago
• jfuentes / concurrent-data-structures
  Compilation of concurrent data structures with at least lock-free or wait-free properties.
  ☆76Updated 6 years ago
• memsql / lockfree-bench
  Benchmarks for lockfree datastructures.
  ☆120Updated 11 years ago
• bthies / streamit
  The StreamIt compiler infrastructure.
  ☆71Updated 9 years ago
• google / capture-thread
  Lock-free framework for loggers, tracers, and mockers in multithreaded C++ programs.
  ☆99Updated 8 years ago
• facebookarchive / treadmill
  An intelligent loadtester
  ☆124Updated 4 years ago
• wsmoses / Tapir-LLVM
  Tapir extension to LLVM for optimizing Parallel Programs
  ☆132Updated 5 years ago