verified-storage

Storage systems with verified correctness properties

MIT License

Stars
28
Committers
6
View Code on GitHub View on X
Ecosystems: VS Code Extension, Windows, Playwright, TypeScript, Windows UI Library (WinUI)

Commit Statistics

Past Year

All Time

Total Commits
249
269
Total Committers
3
6
Avg. Commits Per Committer
83.0
44.83
Bot Commits
0
1

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
azure-orbital-space-sdk-data-generators

04 Jun 2024 1
EnCortex-Framework

A General, Extensible, and Scalable Framework for Decision Management in New-age Energy Systems

04 Nov 2023 0
go-rustaudit

Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-a...

12 Jul 2022 15
DeepGeoSearch

20 Aug 2024 0
apt-transport-blob

apt-transport-blob is a transport for apt that allows users to access an apt repository on Azure ...

04 Mar 2024 6
openvmm

Home of OpenVMM and OpenHCL.

01 Mar 2024 68
Windows-DevRel

A collection of artifacts and samples to help developers build on and for Windows.

13 Feb 2024 39
hands-on-lab-azure-functions

14 May 2024 4
TechExcel-Operationalize-LLMs-with-LLMOps-automation

10 May 2024 10
Policy-Weaver

26 Aug 2024 0
UnifiedRedisPlatform.Core

Unified Redis Platform is a solution for consolidating multiple Redis Caches to a single cluster....

12 Dec 2020 12
mu_msvm

VM firmware pkg for Project Mu

20 Mar 2024 5
teamstrace

01 Dec 2023 0
TechExcel-Fabric-with-Databricks-for-Data-Analytics

To gain access, please finish setting up this repository now at:

20 Feb 2024 8
osconfig

04 Sep 2024 4