Alternatives and similar repositories for squirrelfs

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

• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆75Updated last year
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆162Updated 3 months ago
• SHTUSIST / AisLSM
  ☆13Updated last year
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆65Updated 2 years ago
• uclasystem / DRust
  ☆50Updated last year
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆44Updated 2 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆136Updated 3 years ago
• ShawnZhong / DepSurf
  Revealing the Unstable Foundations of eBPF-Based Kernel Extensions
  ☆16Updated 5 months ago
• datenlord / lockfree-cuckoohash
  A rust implementation of lock free cuckoo hashmap
  ☆69Updated 9 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"
  ☆34Updated 2 years ago
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆125Updated 8 months ago
• multifacet / Bypassd
  Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.
  ☆22Updated 5 months ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆83Updated 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…
  ☆92Updated this week
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆40Updated last year
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆101Updated this week
• smiller123 / bento
  ☆77Updated last year
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆102Updated 4 years ago
• madsys-dev / async-ucx
  Asynchronous Rust bindings for UCX
  ☆77Updated 6 months ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆12Updated 4 months ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆38Updated 2 months ago
• tchajed / protocol-verification-fa2023
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆11Updated last year
• olivierpierre / unikernel-papers
  ☆124Updated 5 months ago
• luojia65 / zihai
  自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software
  ☆25Updated 3 years ago
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆25Updated 2 months ago
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆28Updated 3 years ago
• rcore-os / nvme_driver
  ☆29Updated 2 years ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆12Updated 5 years ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆68Updated last year
• jiegec / cold
  The cold linker
  ☆72Updated last year