PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker

Fork of graphite.dev PR stacking CLI

MLIR-based partitioning system

Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO

Next-generation JavaScript analysis tooling

An unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.

Low-Level Software Security for Compiler Developers

A new (MLIR based) high-level IR for clang.

A library of C++ coroutine abstractions for the coroutines TS

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

An advanced SAT solver

A minimalistic and high-performance SAT solver

Experimental MLIR based points-to analysis tool

Rust mid-level IR Abstract Interpreter

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Advent of code

clang-based search engine for C/C++ data structures, classes, prototypes & macros

A tacit array programming language

A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries

📖 Automatically generates API documentation for your project based on Doxygen comments and code snippets in your markdown files.

Yet Another Random Program Generator

A bidirectional bindings generator for C++ and Rust.

Static checker for GitHub Actions workflow files

Some helpful preload libraries for pwning stuff.

Complete implementation of std::function, std::function_ref, and std::move_only_function

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.

© Copyright Header is a utility to manipulate software licenses on source code.

SeaHorn Verification Framework