twizzler-operating-system / twizzler

Related projects ⓘ

Alternatives and complementary repositories for twizzler

• 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)
  ☆48Updated last month
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆154Updated 7 months ago
• rcslab / aurora
  Aurora Single Level Store
  ☆27Updated 8 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆25Updated last month
• tuhhosg / exmap
  ☆37Updated 6 months ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆44Updated last year
• stanford-mast / shinjuku
  ☆45Updated last year
• LLNL / umap
  User-space Page Management
  ☆104Updated 3 months ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆24Updated 2 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆118Updated 2 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆77Updated last year
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆90Updated this week
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆34Updated 4 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated 5 months ago
• deeptir18 / cornflakes
  A zero-copy serialization library and networking stack.
  ☆43Updated 9 months ago
• bitslab / ffwd
  This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.
  ☆78Updated 6 years ago
• mit-pdos / daisy-nfsd
  DaisyNFS is an NFS server verified using Dafny and Perennial.
  ☆31Updated 3 weeks ago
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆64Updated last year
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• DBOS-project / dbos-scheduler
  ☆26Updated 3 years ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆85Updated 4 months ago
• pramalhe / RedoDB
  The world's first wait-free KV store with generic durable linearizable transactions
  ☆38Updated 2 years ago
• google / ghost-userspace
  ☆223Updated 10 months ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆68Updated 5 years ago
• coinrust / erpc-rs
  eRPC library for Rust
  ☆13Updated 4 years ago
• cacheMon / libCacheSim
  a high performance cache simulator and library
  ☆96Updated 2 months ago