☆28May 8, 2025Updated last year
Alternatives and similar repositories for vmvcc
Users that are interested in vmvcc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verifying concurrent storage and distributed systems☆230Updated this week
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 11 months ago
- (Det)erministic deadl(ock) resolution for high-throughput, low-latency, and strongly consistent data stores.☆28May 12, 2025Updated last year
- 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.☆44Oct 16, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆16Apr 8, 2022Updated 4 years ago
- ☆85Sep 4, 2025Updated 9 months ago
- ☆14Dec 13, 2023Updated 2 years ago
- ☆18Aug 7, 2024Updated last year
- [OSDI 2024] Motor: Enabling Multi-Versioning for Distributed Transactions on Disaggregated Memory☆50Mar 3, 2024Updated 2 years ago
- A distributed key-value cache with builtin materialized views.☆26Nov 14, 2014Updated 11 years ago
- Simple Syntax-Directed Interpreter for a subset of SQL☆12Jan 3, 2011Updated 15 years ago
- A versioned, embedded, strongly-consistent, key-value database☆29Oct 19, 2021Updated 4 years ago
- Peking University Undergraduate Thesis Template.☆26Jun 5, 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.
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 2 months ago
- Bento - Rust Container Runtime☆54Feb 23, 2026Updated 4 months ago
- ☆13Jun 1, 2022Updated 4 years ago
- A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…☆23Jun 23, 2026Updated last week
- Jepsen tests for PostgreSQL☆15Jun 24, 2026Updated last week
- This is the public release of the ffwd delegation system, and associated benchmarks from the SOSP'17 paper.☆81Dec 10, 2017Updated 8 years ago
- ☆10Oct 13, 2025Updated 8 months ago
- RDMA-Based RPC☆15Sep 1, 2023Updated 2 years ago
- 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆10May 15, 2024Updated 2 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
- ☆15Mar 30, 2022Updated 4 years ago
- Guys have you heard of this consensus protocol called raft?☆14Nov 1, 2013Updated 12 years ago
- Viewstamped Replication for Rust☆73May 6, 2023Updated 3 years ago
- TriScale software☆14Apr 23, 2024Updated 2 years ago
- Open-Channel SSD emulator using memory☆22Nov 1, 2017Updated 8 years 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
- 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.
- Verified, concurrent, crash-safe transaction system☆62Jul 20, 2024Updated last year
- a lock-free radix tree implementation for golang☆13Nov 3, 2021Updated 4 years ago
- ☆25Aug 1, 2016Updated 9 years ago
- ☆13Jun 6, 2022Updated 4 years ago
- 侧边栏AI助手浏览器插件，集成MCP☆23Jun 2, 2025Updated last year
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆20Jun 12, 2022Updated 4 years ago
- Run VMs on a Weave network☆19Feb 28, 2020Updated 6 years ago