Tiny, fast, non-dependent and fully loaded printf implementation for embedded systems. Extensive test suite passing.

Csmith, a random generator of C programs

ninja-compatible build tool written in C

Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode

macOS cross compiler toolchains

Designed to bridge the gap for custom content

A "Hello World" Intel SGX enclave program

Exploration of x86-64 ISA using speculative execution.

The first analysis framework for CPU microcode

Intel Management Engine JTAG Proof of Concept

A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.

LLVM based Fortran frontend

DebugIR: Debugging LLVM-IR Files

A minimal kvm example

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

Revizor - a fuzzer to search for microarchitectural leaks in CPUs

Collection of scripts used for building a complete, standalone Clang/LLVM-based toolchain. See: https://clang.llvm.org/docs/Toolchain.html

A C++17 library to access the entire OpenAI API.

An introduction to ARM64 assembly on Apple Silicon Macs

Benchmarks for the Blade paper

Docker image with Intel Parallel Studio XE Composer Edition for C++

An open-source dedicated server for Half-Life 1 and mods, including Counter-Strike.

Proof of concept code for the Spectre CPU exploit.