Chatwise's father 😊

Open framework for confidential AI

A formally verified security module for AMD confidential VMs

This GitHub Action creates a GitHub contribution calendar on a 3D profile image.

Supermicro product key utility

🔑 SuperMicro 超微主板 IPMI 高级功能授权解锁 Key 生成工具

lightweight, standalone C++ inference engine for Google's Gemma models.

Unified API to Access TCG Compliant measurement, event log, quote in Confidential Computing Environment.

Hyper-V integration support for macOS

GooFuzz is a tool to perform fuzzing with an OSINT approach, managing to enumerate directories, files, subdomains or parameters without leaving evidence on the target's server and by means of advan…

JIGSAW is a fuzzing-based path constraint solver.

A LLVM Sanitizer for Symbolic Tracing

Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Rust mid-level IR Abstract Interpreter

Confidential AI deployment with secure enclaves 🔒

The easiest, and most secure way to access and protect all of your infrastructure.

The book "Performance Analysis and Tuning on Modern CPU"

A tool for building the Linux kernel or other software with many different compilers in Docker/Podman containers

Use Rustls from any language

PCT-TEE: Private Contact Tracing with Trusted Execution Environment

A Rust machine learning framework.

macOS system monitor in your menu bar

Tear the firmware apart with your bare hands;-)

A new arguably faster implementation of Apache Spark from scratch in Rust