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
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• LLNL / umap
  User-space Page Management
  ☆111Updated last year
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• ix-project / dune
  ☆33Updated 7 years ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆162Updated 4 months ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆17Updated 3 years ago
• project-dune / dune
  ☆208Updated 3 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆136Updated 3 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• compudj / librseq
  Library for Restartable Sequences
  ☆74Updated last week
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 4 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆215Updated 2 years ago
• 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…
  ☆64Updated 2 years ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆104Updated last year
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆57Updated 2 years ago
• nayak16 / Custom-OS-Kernel
  Kernel created for 15-410 Operating Systems class at Carnegie Mellon
  ☆16Updated 9 years ago
• intel / uintr-ipc-bench
  ☆38Updated last year
• LinuxPerfStudy / LEBench
  ☆64Updated last year
• RN-dev-repo / GAPP
  Generic Automatic Parallel Profiler
  ☆35Updated 5 years ago
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆25Updated 2 months ago
• ix-project / zygos
  ☆33Updated 8 years ago
• mmisono / kvm-bpf-tools
  Some codes to trace KVM events using BPF
  ☆21Updated 5 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆160Updated 2 weeks ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆56Updated 3 months ago
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆39Updated 5 years ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆49Updated last year
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆113Updated 5 years ago