Alternatives and similar repositories for nautilus:

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

• mars-research / lvd-linux
  ☆19Updated 2 years ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• ix-project / dune
  ☆31Updated 6 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago
• multifacet / 0sim-workspace
  Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.
  ☆21Updated 4 years ago
• mmisono / kvm-bpf-tools
  Some codes to trace KVM events using BPF
  ☆18Updated 4 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 6 years ago
• intel / uintr-ipc-bench
  ☆35Updated 7 months ago
• hedayati / hodor
  Hodor-PKU
  ☆23Updated 3 years ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆98Updated 9 months ago
• LLNL / umap
  User-space Page Management
  ☆106Updated 6 months ago
• zeldovich / histar
  HiStar operating system (not under active development)
  ☆28Updated 6 years ago
• rems-project / rmem
  rmem public repo
  ☆41Updated 6 months ago
• jdmccalpin / SKX-SF-Conflicts
  Repeated access to L2-containable loops to look for snoop filter conflicts on Intel Skylake Xeon processors.
  ☆29Updated 6 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated last year
• aclements / mtrace
  Memory access tracing QEMU
  ☆96Updated 8 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆30Updated this week
• 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…
  ☆61Updated last year
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated 11 months ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 3 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆57Updated this week
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• LinuxPerfStudy / LEBench
  ☆60Updated 7 months ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆122Updated 2 years ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆50Updated 10 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 3 years ago