wenhuizhang

kconfig-safety-check

A tool for checking the security hardening options of the Linux kernel

snpguest

A CLI tool for interacting with SEV-SNP guest environment

airship-drydock

A declarative host provisioning system.

AISystem

AISystem 主要是指AI系统，包括AI芯片、AI编译器、AI推理和训练框架等AI全栈底层技术

attestation-benchmark

confidential-cloud-native-primitives

Landing Confidential Computing into Cloud Native Computing

containerd

An open and reliable container runtime

fio

Flexible I/O Tester

flashinfer

FlashInfer: Kernel Library for LLM Serving

ghz

Simple gRPC benchmarking and load testing tool

governance

Confidential Computing Consortium Governance Documents

hashbrown

Rust port of Google's SwissTable hash map

hhvm

A virtual machine for executing programs written in Hack.

kata-containers

Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/

keybroker

TEE attestation server implementing the RATS protocol.

Linux-Kernel-Programming_2E

Linux Kernel Programming 2E - published by Packt

linux-svsm

Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust

MIRAI

Rust mid-level IR Abstract Interpreter

mlc-llm

Enable everyone to develop, optimize and deploy AI models natively on everyone's devices.

openbmc

OpenBMC Distribution

openvino_notebooks

📚 Jupyter notebook tutorials for OpenVINO™

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

tdx-tools

Cloud Stack and Tools for Intel TDX (Trust Domain Extension)

tdx-xml

terraform-up-and-running-code

Code samples for the book "Terraform: Up & Running" by Yevgeniy Brikman

unitycatalog

Open, Multi-modal Catalog for Data & AI

valkey

A new project to resume development on the formerly open-source Redis project. We're calling it Valkey, since it's a twist on the key-value datastore.

verismo

A formally verified security module for AMD confidential VMs

verus

Verified Rust for low-level systems code

VulBench

This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), deep learning methods and static analyzers