Solve puzzles. Learn CUDA.

The Vellvm (Verified LLVM) coq development.

The artificat of FSE 2023 paper Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations

Semantics of C in K

⚖️ A tool for transpiling C to Go.

Make your IDA Lazy!

New ways of breaking app-integrated LLMs

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

Pluto: An automatic polyhedral parallelizer and locality optimizer

Ethereum mainnet MEV-Bot

Intel / AMD CPU Internals

A memory profiler for Linux.

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

awesome-zkml repository

Universal LLM Deployment Engine with ML Compilation

《软件基础》中译版 Software Foundations Chinese Translation

Cirron measures performance counters (instructions executed, etc.) and traces system calls a piece of Python or Ruby code executes.

Intel processor trace tools for analyzing performance of function

Kungfu Trader

The official repo of Doop, the declarative pointer analysis framework.

This is a Chinese translation of the CUDA programming guide

Bypass JVM Class ByteCode Verifier , 对抗反编译器

An awesome code differencing tool

A family of header-only, very fast and memory-friendly hashmap and btree containers.

Benchmark Generator for Smart-Contract Fuzzers

Collection of tools for analyzing open source packages.

A reading group for system verification papers

Specification for the Execution Layer. Tracking network upgrades.

Home of the Move programming language

A beautiful, simple, clean, and responsive Jekyll theme for academics