SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
☆66May 3, 2025Updated last year
Alternatives and similar repositories for squirrelfs
Users that are interested in squirrelfs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆54Oct 10, 2024Updated 2 years ago
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆23May 14, 2025Updated last year
- Code for OSDI'24 Paper: IntOS: Persistent Embedded Operating System and Language Support for Multi-threaded Intermittent Computing☆13Apr 25, 2024Updated 2 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust for SMR Protocols Research☆19Sep 8, 2026Updated last month
- baby's first liquid type system☆15Aug 15, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- OSDI'24 Nomad implementation☆56Aug 1, 2025Updated last year
- Benchmarking code for evaluating the cost of cache coherence protocols implemented on different platforms☆14Apr 13, 2021Updated 5 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆52Apr 7, 2026Updated 6 months ago
- Tigon: A Distributed Database for a CXL Pod [OSDI '25]☆55Jul 13, 2026Updated 3 months ago
- ☆20Aug 29, 2024Updated 2 years ago
- Quantum circuits compiler with staging and continuations☆19Nov 19, 2024Updated last year
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Verifying concurrent storage and distributed systems☆253Updated this week
- A lightweight tool for detecting bugs on Graph Database Management Systems☆16Jan 9, 2024Updated 2 years ago
- [OSDI 2024] Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory☆50Mar 3, 2024Updated 2 years ago
- ☆25Mar 31, 2022Updated 4 years ago
- A Progam-Behavior-Guided Far Memory System☆36Oct 26, 2023Updated 3 years ago
- The artifact of the paper "Recursive Subtyping for All"☆10Apr 29, 2024Updated 2 years ago
- Source code for "DiLOS: Do Not Trade Compatibility for Performance in Memory Disaggregation (EuroSys'23)"☆21May 15, 2023Updated 3 years ago
- ☆14Sep 13, 2026Updated last month
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆54Oct 27, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Monarch: A Fuzzing Framework for Distributed File Systems (ATC'24)☆26Jun 5, 2024Updated 2 years ago
- A Filesystem Semi-Microkernel.☆48Oct 24, 2023Updated 3 years ago
- ☆28Mar 26, 2026Updated 7 months ago
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- ☆78Dec 15, 2023Updated 2 years ago
- Ongoing formal verification for Asterinas OSTD☆61Updated this week
- Artifact for the OSDI'2025 paper☆18Sep 9, 2026Updated last month
- ☆14Apr 5, 2023Updated 3 years ago
- A plausibly deniable block device built on the Linux Device Mapper framework.☆16Jul 5, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆210Oct 1, 2022Updated 4 years ago
- ☆24Oct 6, 2026Updated 3 weeks ago
- This is the implementation repository of our FAST'23 paper: FUSEE: A Fully Memory-Disaggregated Key-Value Store.☆62Feb 14, 2023Updated 3 years ago
- Repo for Performance Interfaces for Hardware Accelerators.☆21Aug 19, 2025Updated last year
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆79Feb 10, 2023Updated 3 years ago
- A memory allocator verified with Verus☆42Oct 25, 2026Updated last week