☆28May 8, 2025Updated 10 months ago
Alternatives and similar repositories for vmvcc
Users that are interested in vmvcc are comparing it to the libraries listed below
Sorting:
- Verifying concurrent storage and distributed systems☆218Updated this week
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 8 months ago
- (Det)erministic deadl(ock) resolution for high-throughput, low-latency, and strongly consistent data stores.☆28May 12, 2025Updated 10 months ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 2 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated last year
- AnyBlox runtime and tooling☆36Sep 4, 2025Updated 6 months ago
- A community preview of ongoing formal verification efforts for Asterinas☆44Updated this week
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆24Oct 21, 2024Updated last year
- Virtual block devices on Linux☆19Jan 2, 2020Updated 6 years ago
- ☆75Sep 4, 2025Updated 6 months ago
- InfiniStore: an elastic serverless cloud storage system (VLDB'23)☆24May 5, 2023Updated 2 years ago
- ☆14Dec 13, 2023Updated 2 years ago
- Simple Syntax-Directed Interpreter for a subset of SQL☆13Jan 3, 2011Updated 15 years ago
- Website about the project WorkflowHub☆12Feb 12, 2026Updated last month
- A versioned, embedded, strongly-consistent, key-value database☆29Oct 19, 2021Updated 4 years ago
- Debugger written in Rust☆24Jul 8, 2022Updated 3 years ago
- A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…☆21Updated this week
- ☆14Jan 24, 2025Updated last year
- Lithops application examples☆11Dec 19, 2024Updated last year
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆29Jul 6, 2021Updated 4 years ago
- ☆10Oct 13, 2025Updated 5 months ago
- RDMA-Based RPC☆15Sep 1, 2023Updated 2 years ago
- A tool that generates a new C++ project structure so you can start writing your project immediately☆11Aug 24, 2024Updated last year
- This is a simple script that parses python files in a directory and generates a mxfile containing a diagramm of classes, attributes and m…☆11Feb 23, 2023Updated 3 years ago
- ☆10May 15, 2024Updated last year
- A simple libp2p DHT crawler☆16Jan 6, 2022Updated 4 years ago
- A beginner-friendly repository designed to teach the fundamentals of Bitcoin. The project includes theoretical and practical implementati…☆11Dec 12, 2024Updated last year
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆24Dec 15, 2019Updated 6 years ago
- A model-based testing framework for Quint + Rust☆37Dec 23, 2025Updated 2 months ago
- ☆15Mar 30, 2022Updated 3 years ago
- Interpreted, optimized, JITed and compiled implementations of the Brainfuck lang.☆24Dec 31, 2022Updated 3 years ago
- Open-Channel SSD emulator using memory☆22Nov 1, 2017Updated 8 years ago
- Coq code formatter☆24Jan 22, 2026Updated 2 months ago
- A low level simulator for NAND Flash controller with read, write and erase operations with flash translation layer (FTL) for page allocat…☆17Sep 21, 2019Updated 6 years ago
- Verified, concurrent, crash-safe transaction system☆60Jul 20, 2024Updated last year
- Detect whether your system/container and your Golang binary are ready to run in FIPS mode.☆12Nov 6, 2025Updated 4 months ago
- Reinforcement learning agents and environment for Easy21, a modified version of Blackjack☆14May 7, 2017Updated 8 years ago
- 侧边栏AI助手浏览器插件，集成MCP☆18Jun 2, 2025Updated 9 months ago
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆20Jun 12, 2022Updated 3 years ago