Alternatives and similar repositories for twizzler:

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

• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated last year
• 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
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆57Updated 2 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated 2 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆123Updated 2 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated 10 months ago
• rcslab / aurora
  Aurora Single Level Store
  ☆30Updated last year
• stanford-mast / shinjuku
  ☆47Updated 2 years ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆24Updated last week
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆21Updated 2 months ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆33Updated this week
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• LLNL / umap
  User-space Page Management
  ☆107Updated 8 months ago
• WiscADSL / cuttlefs
  FUSE file system with private page cache to simulate post fsync failure characteristics of modern file systems
  ☆29Updated 4 years ago
• bitcharmer / tlb_shootdowns
  ☆58Updated 4 years ago
• google / ghost-userspace
  ☆228Updated last year
• cacheMon / libCacheSim
  a high performance cache simulator and library
  ☆103Updated 8 months ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆109Updated this week
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆10Updated 4 years ago
• tuhhosg / exmap
  ☆45Updated last year
• olivierpierre / unikernel-papers
  ☆120Updated 2 months ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆32Updated 2 weeks ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆141Updated 3 weeks ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆36Updated 4 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• smiller123 / bento
  ☆73Updated last year
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆89Updated 10 months ago
• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆13Updated 5 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆117Updated this week