Alternatives and similar repositories for nautilus

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

• mit-pdos / ward
  ☆30Updated 4 years ago
• ix-project / dune
  ☆33Updated 7 years ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆106Updated last year
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆19Updated 3 years ago
• llnl / umap
  User-space Page Management
  ☆111Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆189Updated 2 months ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• mars-research / lvd-linux
  ☆21Updated 3 years ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆49Updated last year
• jdmccalpin / SKX-SF-Conflicts
  Repeated access to L2-containable loops to look for snoop filter conflicts on Intel Skylake Xeon processors.
  ☆29Updated 7 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆138Updated 3 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆67Updated 7 years ago
• mmisono / kvm-bpf-tools
  Some codes to trace KVM events using BPF
  ☆22Updated 5 years ago
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• zeldovich / histar
  HiStar operating system (not under active development)
  ☆32Updated 7 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆58Updated 2 years ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• uw-unsat / serval
  ☆46Updated 3 years ago
• uw-unsat / hyperkernel
  ☆186Updated 5 years ago
• mit-pdos / scalefs
  ☆21Updated 8 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆70Updated 11 years ago
• gwsystems / composite
  A component-based OS
  ☆199Updated this week
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆20Updated 4 years ago
• LinuxPerfStudy / LEBench
  A benchmark for testing the performance of core Linux functionalities, developed by Xiang Ren, Kirk Rodrigues, Luyuan Chen and Camilo Veg…
  ☆65Updated last year
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆113Updated 5 years ago
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆99Updated 9 years ago