MATRIXKOO

ayanami-nemesis-analyzer

A C/C++ Staitc Analyzer for Now.

MATRIXKOO

vast

VAST is an experimental frontend designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

fuzztest

PL-Compiler-Resource

程序语言与编译技术相关资料（持续更新中）

rust-course

<<Rust语言圣经(The Course)>>，本书对Rust语言进行全面且深入的讲解，辅以生动的文字和典型的示例。 这既是一本厚重的书籍，也是一门全面的课程，希望读者朋能喜欢。

rust_magazine_2021

RustMagazine 2021 期刊

arocc

A C compiler written in Zig.

asmjit

Low-latency machine code generation

binaryen

Optimizer and compiler/toolchain library for WebAssembly

Catch2

A modern, C++-native, header-only, test framework for unit-tests, TDD and BDD - using C++11, C++14, C++17 and later (or C++03 on the Catch1.x branch)

cheerp-meta

Cheerp - a C/C++ compiler for Web applications - compiles to WebAssembly and JavaScript

dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

easy-smt

Easy SMT solver interaction

fleet

🚀 The blazing fast build tool for Rust.

github-profile-achievements

A collection listing all Achievements available on the GitHub profile 🏆

lima

Linux virtual machines, typically on macOS, for running containerd

lit

An integrated testing tool inspired from LLVM's 'lit' tool

localpilot

marwood

An embeddable Scheme R7 Compiler & Runtime written in Rust

musl-wasm

nora

An experimental Racket implementation using LLVM/MLIR

optview2

User-oriented fork of LLVM's opt-viewer

PLCT-Weekly

软件所PLCT实验室在开源领域的不定期简报

portfolio-website

rime

Rime Squirrel 鼠须管配置文件（朙月拼音、小鹤双拼、自然码双拼）

Static-Program-Analysis-Book

Getting started with static program analysis. 静态程序分析入门教程。

tangping

躺平即正义。Nothing is true, everything is permitted

tool-conventions

Conventions supporting interoperatibility between tools working with WebAssembly.

wizard-engine

Research WebAssembly Engine