Alternatives and similar repositories for twizzler

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

• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated 2 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆63Updated 5 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆65Updated 2 years ago
• rex-rs / rex
  Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…
  ☆90Updated last week
• 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 5 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated last year
• mars-research / redleaf
  RedLeaf Operating System
  ☆134Updated 3 years ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆90Updated last year
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated last year
• rcslab / aurora
  Aurora Single Level Store
  ☆31Updated last year
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆125Updated 7 months ago
• XiangpengHao / congee
  Concurrent ART (adaptive radix tree)
  ☆171Updated 2 weeks ago
• deeptir18 / cornflakes
  A zero-copy serialization library and networking stack.
  ☆48Updated last year
• cacheMon / libCacheSim
  a high performance cache simulator and library
  ☆109Updated last year
• LLNL / umap
  User-space Page Management
  ☆108Updated last year
• Thesys-lab / HotOS23-QD-LP
  The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"
  ☆33Updated 2 years ago
• NeowayLabs / bplustree
  Concurrent in-memory B+ Tree featuring optimistic lock coupling
  ☆28Updated 2 years ago
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆25Updated last month
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆44Updated last month
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆39Updated 5 years ago
• viktorleis / mmapbench
  ☆141Updated 3 years ago
• tuhhosg / exmap
  ☆48Updated last year
• dassl-uiuc / LazyLog-Artifact
  LazyLog: A New Shared Log Abstraction for Low-Latency Applications
  ☆41Updated 5 months ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆133Updated this week
• psu-csl / replicated-store
  ☆22Updated 4 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆168Updated last month
• evanj / hugepagedemo
  Demonstrates using huge pages on Linux to improve performance (in Rust)
  ☆27Updated 4 months ago
• compudj / librseq
  Library for Restartable Sequences
  ☆73Updated last month
• penberg / tihku
  Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.
  ☆140Updated 2 years ago