Storage systems with verified correctness properties
MIT License
apt-transport-blob is a transport for apt that allows users to access an apt repository on Azure ...
A General, Extensible, and Scalable Framework for Decision Management in New-age Energy Systems
VM firmware pkg for Project Mu
A collection of artifacts and samples to help developers build on and for Windows.
Unified Redis Platform is a solution for consolidating multiple Redis Caches to a single cluster....
Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-a...
Home of OpenVMM and OpenHCL.
A formally verified security module for AMD confidential VMs