📚LeetCUDA: Modern CUDA Learn Notes with PyTorch for Beginners🐑, 200+ CUDA Kernels, Tensor Cores, HGEMM, FA-2 MMA.🎉

An LLVM IR dataset for data-driven compiler optimization research

A repository where GPU applications are aggregated using a common build flow that supports multiple CUDA versions.

NVIDIA HPCG is based on the HPCG benchmark and optimized for performance on NVIDIA accelerated HPC systems.

A new version of Soot with a completely overhauled architecture

Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)

《Machine Learning Systems: Design and Implementation》- Chinese Version

Statically detect memory, concurrency bugs and possible panic locations for Rust.

A tool for synthesizing Verilog programs

A JavaScript Engine Fuzzer

Daedalus is an LLVM pass that compresses code by identifying and extracting recurrent program slices.

A curated list of awesome Rust checkers

⚖️ A tool for transpiling C to Go.

Pytorch domain library for recommendation systems

An open source tool focused on software supply chain security. 墨菲安全专注于软件供应链安全，具备专业的软件成分分析（SCA）、漏洞检测、专业漏洞库。

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

Ball Larus edge profiling with loop optimization

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.

MetaMut is a mutation operator generator to facilitate compiler fuzzing.

Yet Another Random Program Generator

A LLVM-based static analysis framework.

Cuda implementation of EVM bytecode executor

AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

Parsing, analyzing, and comparing source code across many languages

This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.