Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

The Z3 Theorem Prover

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

A cross platform C99 library to get cpu features at runtime.

ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture community.

An integrated cache and memory access time, cycle time, area, leakage, and dynamic power model

Understand and mitigate software-observable side-channels

GIMPLE obfuscator for C, C++, Go, ... all supported GCC targets and front-ends that use GIMPLE.

Extract BIOS firmware from Intel-based workstations and laptops

Utility that can extract the internal forms represenation from both EFI and UEFI modules.

Reworking of Agner Fog's performance test programs for Linux

MySQL-compatible database for GDPR compliance by construction.

MSRS - an LKM to Find Undocumented MSRs on x86_64