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
• LLNL / umap
  User-space Page Management
  ☆111Updated last year
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆18Updated 3 years ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆49Updated last year
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆106Updated last year
• ix-project / dune
  ☆33Updated 7 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• aliireza / slice-aware
  Slice-aware Memory Management - Exploiting NUCA Characteristic of LLC in Intel Processors
  ☆41Updated 6 years ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆162Updated 4 months ago
• intel / uintr-ipc-bench
  ☆38Updated last year
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 4 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆163Updated last week
• ix-project / zygos
  ☆33Updated 8 years ago
• rems-project / rmem
  rmem public repo
  ☆48Updated 6 months 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
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆57Updated 2 years ago
• jlgreathouse / AMD_IBS_Toolkit
  AMD Research Instruction Based Sampling Toolkit
  ☆92Updated 4 years ago
• LinuxPerfStudy / LEBench
  ☆64Updated last year
• uw-unsat / yggdrasil
  ☆33Updated 3 years ago
• 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
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• wcohen / libpfm4
  This is a mirror of the official libpfm4 git repository, https://sourceforge.net/p/perfmon2/libpfm4/ci/master/tree/ with some local branc…
  ☆67Updated last year
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆25Updated this week
• uw-unsat / serval
  ☆46Updated 3 years ago