GoogleTest - Google Testing and Mocking Framework

A library that provides an embeddable, persistent key-value store for fast storage.

The Z3 Theorem Prover

Main gperftools repository

The fastest feature-rich C++11/14/17/20/23 single-header testing framework

Bear is a tool that generates a compilation database for clang tooling.

Compiler for Neural Network hardware accelerators

Dust3D is a cross-platform 3D modeling software that makes it easy to create low poly 3D models for video games, 3D printing, and more.

Demonstration of various hardware effects.

GCC Front-End for Rust

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Automatic verification of LLVM optimizations

The Radeon GPU Analyzer (RGA) is an offline compiler and code analysis tool for Vulkan, DirectX, OpenGL, and OpenCL.

Portable and vendor neutral framework for parallel programming on heterogeneous platforms.

Example project from my talks in the LLVM Social Berlin and C++ User Group

C++ Library and Tool for Extracting Embedded Bitcode

DebugIR: Debugging LLVM-IR Files

[DEPRECATED] Moved to ROCm/rocm-libraries repo

MonoSAT - An SMT solver for Monotonic Theories

keybrd library is an open source library for creating custom-keyboard firmware.

keyboard firmware family for arduino compatible atmega u series microcontrollers

Debugging LLVM JIT code inside Visual Studio with PDB

Floating-Point Scalar Evolution