A Rust crate for creating memory dumps of running processes on Linux
MIT License
Storage systems with verified correctness properties
A General, Extensible, and Scalable Framework for Decision Management in New-age Energy Systems
A collection of artifacts and samples to help developers build on and for Windows.
Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-a...
Mu Rust Helper Code
A formally verified security module for AMD confidential VMs
Platform Initialization (PI) Specification Definitions and Support Code
LLM token utility library
Rust bindings for Outlook's MAPI interfaces with microsoft/windows-rs
apt-transport-blob is a transport for apt that allows users to access an apt repository on Azure ...
Rust libraries for Linux Tracepoints and user_events
Home of OpenVMM and OpenHCL.