Storage systems with verified correctness properties
☆65Apr 3, 2026Updated last week
Alternatives and similar repositories for verified-storage
Users that are interested in verified-storage are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆88Jan 22, 2026Updated 2 months ago
- This project provides the ability to remotely control network components such as Wi-Fi access points typically used to test network funct…☆21Feb 10, 2026Updated 2 months ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- The Diner example application demonstrates how to build simple, catalog-type application, for Windows Phone based on local XML data. It i…☆25Nov 7, 2014Updated 11 years ago
- A memory allocator verified with Verus☆33Feb 18, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- An Opinionated Formatter for Verus☆18Apr 1, 2026Updated last week
- Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) …☆85Updated this week
- ☆11Oct 28, 2024Updated last year
- Contributor tools and guides for fluentui charting library☆25Apr 4, 2026Updated last week
- Everyone Can Code Event (U.S. Edition)☆71Feb 20, 2026Updated last month
- HTML5 application for Windows Phone that allows the screen to be used as protractor/ruler to measure lengths and angles.☆27Nov 12, 2014Updated 11 years ago
- 1-4 player game where the players must break the 3D block structure with balls.☆26Nov 12, 2014Updated 11 years ago
- A plugin for MSBuild that adds support for storing and retrieving cache entries.☆59Feb 3, 2026Updated 2 months ago
- Microsoft backed, Excel advanced xlsx workbook generation JavaScript library☆84Apr 1, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Oct 19, 2023Updated 2 years ago
- Template repository for CCF apps☆17Feb 12, 2026Updated last month
- TypeScript libraries for Kiota-generated API clients.☆60Updated this week
- Cross platform, C abstraction layer for both user mode and kernel mode libraries☆33Updated this week
- ☆11Sep 8, 2022Updated 3 years ago
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Jun 19, 2024Updated last year
- PC Tasks: A framework for processing and ingesting data into the Planetary Computer☆42Mar 16, 2026Updated 3 weeks ago
- Verified Rust for low-level systems code☆2,404Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A community preview of ongoing formal verification efforts for Asterinas☆44Updated this week
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆56Updated this week
- A Rust library for safely programming persistent memory☆75Jun 6, 2024Updated last year
- Verifying concurrent storage and distributed systems☆220Updated this week
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆40Mar 21, 2026Updated 2 weeks ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆73Feb 11, 2026Updated last month
- Fresh + Deno KV OAuth demo☆15Feb 6, 2024Updated 2 years ago
- JAX interpreter for Vulkan☆16Jun 1, 2021Updated 4 years ago
- Self-hosted Subset of C/C++ Compiler☆12Jul 21, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple File Solution (SFS) Client☆18Mar 31, 2026Updated last week
- Accessibility Insights Service☆76Apr 3, 2026Updated last week
- Research prototype tool for modular formal verification of C, Rust and Java programs☆481Mar 19, 2026Updated 3 weeks ago
- ☆15Jun 29, 2024Updated last year
- Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)☆42Mar 27, 2026Updated 2 weeks ago
- Mirror repository of the official Energy Aware Runtime software stack.☆13Mar 16, 2026Updated 3 weeks ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Feb 9, 2022Updated 4 years ago