Alternatives and similar repositories for aurora:

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

• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 4 years ago
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆86Updated this week
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆25Updated 3 years ago
• stanford-mast / shinjuku
  ☆46Updated last year
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆23Updated 3 weeks ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated 2 weeks ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• DBOS-project / dbos-scheduler
  ☆27Updated 3 years ago
• LLNL / umap
  User-space Page Management
  ☆108Updated 7 months ago
• pramalhe / RedoDB
  The world's first wait-free KV store with generic durable linearizable transactions
  ☆40Updated 3 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆36Updated 5 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆55Updated last month
• westerndigitalcorporation / hmmap
  Heterogeneous memory mapper (hmmap)
  ☆10Updated 4 years ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated last year
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated last month
• tuhhosg / exmap
  ☆43Updated 11 months ago
• rusnikola / lfsmr
  Hyaline Reclamation (PLDI '21, PODC '19)
  ☆20Updated 3 years ago
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆20Updated last month
• albertofaria / bdus
  A framework for implementing Block Devices in User Space
  ☆33Updated 3 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
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆51Updated 2 years ago
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆79Updated last year
• LPD-EPFL / ssmem
  ssmem is a simple object-based memory allocator with epoch-based garbage collection
  ☆34Updated 8 years ago
• rahulyesantharao / b-epsilon-tree
  A simple implementation of the write-optimized Bε Tree 🌳 - for MIT 6.854 (Advanced Algorithms).
  ☆25Updated 5 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆70Updated 8 months ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• oscarlab / versioning
  Framework for creating simple, efficient, and composable lock-free data structures
  ☆12Updated 8 years ago
• jasonnyberg / j2
  j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …
  ☆45Updated last year
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• coinrust / erpc-rs
  eRPC library for Rust
  ☆13Updated 5 years ago