Alternatives and similar repositories for squirrelfs

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

• vmware-archive / node-replication
  An operation-log based approach for data replication.
  ☆65Updated 2 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆75Updated last year
• mars-research / redleaf
  RedLeaf Operating System
  ☆138Updated 3 years ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆163Updated 6 months ago
• ech-o-o / AisLSM
  ☆13Updated this week
• Thesys-lab / HotOS23-QD-LP
  The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"
  ☆35Updated 2 years ago
• uclasystem / DRust
  ☆52Updated last year
• multifacet / Bypassd
  Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.
  ☆23Updated 8 months ago
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆127Updated 11 months ago
• ShawnZhong / DepSurf
  Revealing the Unstable Foundations of eBPF-Based Kernel Extensions
  ☆17Updated 8 months ago
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆109Updated this week
• josehu07 / summerset
  Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research
  ☆17Updated last week
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆86Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆50Updated last year
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆46Updated 2 years ago
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆102Updated 4 years ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆14Updated 7 months ago
• olivierpierre / unikernel-papers
  ☆126Updated last week
• datenlord / lockfree-cuckoohash
  A rust implementation of lock free cuckoo hashmap
  ☆69Updated last year
• matthias-brun / verified-nrkernel
  ☆22Updated this week
• rs3lab / KFlex
  ☆36Updated 11 months ago
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆45Updated 6 months ago
• xrp-project / BPF-KV
  ☆27Updated 2 years ago
• smiller123 / bento
  ☆78Updated 2 years ago
• secure-foundations / veribetrkv-osdi2020
  VeriBetrKV OSDI'20 artifact
  ☆13Updated 5 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated 2 years ago
• luhsra / llfree-rs
  LLFree: Lock- and Log-free Allocator
  ☆26Updated 2 weeks ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆42Updated this week
• Thesys-lab / sosp23-s3fifo
  The repo for SOSP23 paper: FIFO queues are all you need for cache evictions
  ☆136Updated last year
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆70Updated last year