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
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 5 years ago
• LLNL / umap
  User-space Page Management
  ☆109Updated 11 months ago
• ix-project / dune
  ☆32Updated 6 years ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆100Updated last year
• compudj / librseq
  Library for Restartable Sequences
  ☆73Updated last month
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated last year
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• frdwarf / dwarf-assembly
  ☆19Updated 5 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆97Updated 8 years ago
• dinamite-toolkit / dinamite
  DINAMITE LLVM Pass
  ☆11Updated 8 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆38Updated this week
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• zeldovich / histar
  HiStar operating system (not under active development)
  ☆28Updated 7 years ago
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 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…
  ☆62Updated 2 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆55Updated 2 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• ix-project / zygos
  ☆32Updated 7 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆109Updated 4 years ago
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆45Updated 2 weeks ago
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• rems-project / rmem
  rmem public repo
  ☆45Updated 2 months ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆113Updated 6 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆52Updated 10 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• plasma-umass / sheriff
  Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…
  ☆32Updated 7 years ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago