Storage systems with verified correctness properties
☆61Updated this week
Alternatives and similar repositories for verified-storage
Users that are interested in verified-storage are comparing it to the libraries listed below
Sorting:
- ☆16Jan 23, 2026Updated last month
- ☆78Jan 22, 2026Updated last month
- A memory allocator verified with Verus☆30Feb 18, 2026Updated last week
- This project provides the ability to remotely control network components such as Wi-Fi access points typically used to test network funct…☆20Feb 10, 2026Updated 2 weeks 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
- ☆22Updated this week
- ☆11Oct 28, 2024Updated last year
- ☆23Updated this week
- ☆11Sep 8, 2022Updated 3 years ago
- Template repository for CCF apps☆16Feb 12, 2026Updated 2 weeks ago
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- A plugin for MSBuild that adds support for storing and retrieving cache entries.☆59Feb 3, 2026Updated 3 weeks ago
- PC Tasks: A framework for processing and ingesting data into the Planetary Computer☆41Feb 20, 2026Updated last week
- 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
- Microsoft backed, Excel advanced xlsx workbook generation JavaScript library☆80Updated this week
- A new-fasioned quote! macro implementation with pretty template-engine like syntax☆18Oct 7, 2024Updated last year
- This library provides standardized APIs for enabling feature flags within python applications. Utilize this library to secure a consisten…☆23Oct 29, 2025Updated 4 months ago
- Verified Rust for low-level systems code☆2,323Updated this week
- Track your metrics in GitHub PR to avoid unwanted regressions☆16Feb 14, 2023Updated 3 years ago
- AgentOS is a lightweight, single-file implementation that provides a robust foundation for building autonomous AI agents. It implements t…☆22Jul 11, 2025Updated 7 months ago
- TypeScript libraries for Kiota-generated API clients.☆57Updated this week
- DID Method for the Confidential Consortium Framework (CCF)☆23Sep 4, 2023Updated 2 years ago
- A Rust implementation of the Strobe protocol framework☆26Feb 9, 2026Updated 2 weeks ago
- oZKS (Ordered Zero-Knowledge Set) is a library that provides an implementation of an Ordered (and Append Only) Zero-Knowledge Set.☆28Oct 10, 2025Updated 4 months ago
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- Config files for my GitHub profile.☆20Jan 27, 2026Updated last month
- Research prototype tool for modular formal verification of C, Rust and Java programs☆474Feb 16, 2026Updated last week
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆49Updated this week
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆33Feb 3, 2026Updated 3 weeks ago
- A red teaming agent☆18Oct 15, 2025Updated 4 months ago
- Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.☆44Feb 20, 2026Updated last week
- Welcome to FluidAPI, it's a framework that allows you to interact with APIs using natural language. No more JSON, headers, or complex for…☆32Oct 13, 2025Updated 4 months ago
- Dirt cheap, easy to assemble, quality DIY NIR-HEG☆11Oct 16, 2022Updated 3 years ago
- ☆10May 3, 2024Updated last year
- A VS Code extension to customise a theme☆16Jul 20, 2022Updated 3 years ago
- Lustre Repository with MS patches☆13Feb 21, 2026Updated last week
- Multi-protocol exchange broker for IoT within the 5G-and-Beyond networks, and primary emphasis on scalability.☆12Jan 29, 2024Updated 2 years ago
- Libraries, guides, blueprints, and sample code, to enable rapidly building 0-1 applications on iOS, Android and web.☆11May 12, 2023Updated 2 years ago