Alternatives and similar repositories for twizzler:

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

• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆53Updated 3 months ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 4 years ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆156Updated 10 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆61Updated last year
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆73Updated 7 months ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆85Updated 6 months ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆24Updated 2 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆26Updated 3 months ago
• google / ghost-userspace
  ☆223Updated last year
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆125Updated last month
• olivierpierre / unikernel-papers
  ☆112Updated 2 months ago
• rcslab / aurora
  Aurora Single Level Store
  ☆28Updated 10 months ago
• LLNL / umap
  User-space Page Management
  ☆106Updated 5 months ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆22Updated last month
• DBOS-project / dbos-scheduler
  ☆26Updated 3 years ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆99Updated last month
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆34Updated 4 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆120Updated 2 years ago
• cacheMon / libCacheSim
  a high performance cache simulator and library
  ☆99Updated 5 months ago
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆19Updated 2 months ago
• stanford-mast / shinjuku
  ☆45Updated last year
• uclasystem / DRust
  ☆43Updated 3 months ago
• tuhhosg / exmap
  ☆39Updated 9 months ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆26Updated last month
• deeptir18 / cornflakes
  A zero-copy serialization library and networking stack.
  ☆45Updated last year
• jonhoo / rust-ibverbs
  Bindings for RDMA ibverbs through rdma-core
  ☆154Updated 3 weeks ago
• awslabs / damo
  DAMON user-space tool
  ☆158Updated 4 months ago
• rs3lab / KFlex
  ☆24Updated 3 months ago
• rust-vmm / vhost
  ☆134Updated last month
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆31Updated last year