Alternatives and similar repositories for nautilus

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

• mit-pdos / ward
  ☆30Updated 3 years ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated 2 months ago
• ix-project / dune
  ☆33Updated 7 years ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆48Updated last year
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• rems-project / rmem
  rmem public repo
  ☆48Updated 4 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆97Updated 8 years ago
• LLNL / umap
  User-space Page Management
  ☆108Updated last year
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆57Updated last week
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆76Updated last year
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• zeldovich / histar
  HiStar operating system (not under active development)
  ☆30Updated 7 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆52Updated 10 years ago
• gwsystems / composite
  A component-based OS
  ☆191Updated 7 months ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆56Updated 2 years ago
• compudj / librseq
  Library for Restartable Sequences
  ☆73Updated last month
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆155Updated 2 months ago
• project-dune / dune
  ☆207Updated 3 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆211Updated 2 years ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆103Updated last year
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆25Updated last month
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• intel / uintr-ipc-bench
  ☆37Updated last year
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆112Updated 5 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆133Updated 3 years ago