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
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆155Updated 8 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆49Updated last month
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆25Updated last month
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated 5 months ago
• rcslab / aurora
  Aurora Single Level Store
  ☆27Updated 8 months ago
• olivierpierre / unikernel-papers
  ☆108Updated this week
• DBOS-project / dbos-scheduler
  ☆26Updated 3 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆28Updated last year
• stanford-mast / shinjuku
  ☆45Updated last year
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆16Updated 3 weeks ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆119Updated 2 years ago
• LLNL / umap
  User-space Page Management
  ☆104Updated 3 months ago
• Thesys-lab / HotOS23-QD-LP
  The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"
  ☆32Updated last year
• multicore-locks / litl
  LiTL: Library for Transparent Lock Interposition
  ☆79Updated last year
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated 3 months ago
• tuhhosg / exmap
  ☆37Updated 7 months ago
• jonhoo / rust-ibverbs
  Bindings for RDMA ibverbs through rdma-core
  ☆147Updated 3 months ago
• curtsinger-lab / riker
  Always-Correct and Fast Incremental Builds from Simple Specifications
  ☆85Updated 5 months ago
• penberg / vsr-rs
  Viewstamped Replication for Rust
  ☆64Updated last year
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆109Updated last year
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆21Updated last year
• cacheMon / libCacheSim
  a high performance cache simulator and library
  ☆96Updated 3 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆121Updated last week
• google / ghost-userspace
  ☆222Updated 11 months ago
• XiangpengHao / bf-tree-docs
  Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index
  ☆46Updated last month
• JunctionOS / junction
  Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security
  ☆73Updated this week
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆34Updated 4 years ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆93Updated last week