Alternatives and similar repositories for arrakis:

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

• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆95Updated 3 years ago
• aclements / commuter
  Automated multicore scalability testing tool
  ☆88Updated 9 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 5 years ago
• RaphaelJ / rusty
  A light-weight, user-space, event-driven, highly-scalable, TCP/IP stack using Tilera's mPIPE API.
  ☆127Updated 9 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆130Updated 8 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 8 months ago
• wlloyd / eiger
  A research fork of cassandra that provides causal+ consistency, read-only transaction, and write-only transaction across all the servers …
  ☆77Updated 7 years ago
• rumpkernel / rumprun-packages
  Ready-made packages of software for running on the Rumprun unikernel
  ☆204Updated 2 years ago
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆206Updated 4 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆36Updated 6 years ago
• frankmcsherry / COST
  Single-threaded graph computation in Rust
  ☆247Updated 6 years ago
• basho / machi
  Machi file store
  ☆121Updated 8 years ago
• ShimProfiler / SHIM
  ☆53Updated 9 years ago
• sharklinux / shark
  We're building a better performance management system
  ☆79Updated 9 years ago
• hnsl / librcd
  A library for Rapid {C|Concurrency|Correct} Development
  ☆34Updated 9 years ago
• pbailis / ramp-sigmod2014-code
  Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
  ☆71Updated 10 years ago
• bshafiee / BFS
  Behrooz File System (BFS)
  ☆54Updated 9 years ago
• rongarret / clmm
  An exercise in cryptographic minimlism
  ☆24Updated 10 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆106Updated 8 years ago
• bitslab / ffwd
  This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.
  ☆78Updated 7 years ago
• mirage / jitsu
  A DNS server that automatically starts unikernels on demand
  ☆304Updated 8 years ago
• silt / silt
  SILT: A Memory-Efficient, High-Performance Key-Value Store
  ☆177Updated 3 years ago
• dankamongmen / libtorque
  A threaded, continuations-based I/O event library for manycore NUMA machines
  ☆71Updated 3 years ago
• biokoda / actordb_core
  ActorDB main source
  ☆46Updated 2 years ago
• efficient / ffbf
  Feed-forward Bloom filters
  ☆52Updated 13 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• scotts / streamflow
  Lock-free multithreaded memory allocation
  ☆105Updated 8 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆40Updated last year