haoyang9804

HirGen

A Computational Graph Generator for AI Compiler Fuzzing

RecBi

A Reinforcement-Learning-Based C Program Mutator for LLVM/GCC Bug Isolation

Papers4CompilerCorrectness

A list of papers related to correctness of compilers and compiler-like tools.

haoyang9804.github.io

TVMfuzz-exp

Aerith

Arthur

clang-tutor

A collection of out-of-tree Clang plugins for teaching and learning

AutoGPT

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Code-play

CompCert

The CompCert formally-verified C compiler

coq-Art

CPDT

design-patterns-cpp

C++ Design Patterns

frap

Formal Reasoning About Programs

FuzzingPaper

Recent Fuzzing Paper

interactive_theorem_proving_and_program_development

Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)

ISSTA24-Solidity-Study

llvm-ir-tutorial

LLVM IR入门指南

llvm-tutor

A collection of out-of-tree LLVM passes for teaching and learning

LOL-predict-GBDT

metaprogramming

A metaprogramming training in C++

Simple-Compiler-Frontend

solidity

Solidity, the Smart Contract Programming Language

TAPL-all

All resources about Types and Programming Languages (TAPL)

TAPL-Ocaml

tapl-scala

Code from the book "Types and Programming Languages" in Scala

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

TVMfuzz

V