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
• ix-project / dune
  ☆33Updated 7 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆97Updated 8 years ago
• LLNL / umap
  User-space Page Management
  ☆108Updated last year
• mmisono / kvm-bpf-tools
  Some codes to trace KVM events using BPF
  ☆21Updated 5 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆47Updated last year
• nayak16 / Custom-OS-Kernel
  Kernel created for 15-410 Operating Systems class at Carnegie Mellon
  ☆14Updated 9 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆111Updated 5 years ago
• hedayati / hodor
  Hodor-PKU
  ☆25Updated 4 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated last year
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆55Updated 2 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆103Updated last year
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆62Updated 2 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆192Updated 5 years ago
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆25Updated 3 weeks ago
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• gwsystems / composite
  A component-based OS
  ☆190Updated 7 months ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆52Updated 10 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• ix-project / zygos
  ☆32Updated 7 years ago
• zeldovich / histar
  HiStar operating system (not under active development)
  ☆28Updated 7 years ago
• project-dune / dune
  ☆205Updated 3 years ago
• mit-pdos / scalefs
  ☆21Updated 7 years ago