Pinned Repositories
ayanami-nemesis-analyzer
A C/C++ Staitc Analyzer for Now.
fuzztest
github-readme-stats
:zap: Dynamically generated stats for your github readmes
MATRIXKOO
test_for_sicp
this repo is for writing code on sicp.
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.
W2812_with_raspberry
w2812_plus_raspberry-pico
rust-analyzer
A Rust compiler front-end for IDEs
this-week-in-rust
Data for this-week-in-rust.org
MATRIXKOO's Repositories
MATRIXKOO/ayanami-nemesis-analyzer
A C/C++ Staitc Analyzer for Now.
MATRIXKOO/MATRIXKOO
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.
MATRIXKOO/fuzztest
MATRIXKOO/PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
MATRIXKOO/rust-course
<<Rust语言圣经(The Course)>>,本书对Rust语言进行全面且深入的讲解,辅以生动的文字和典型的示例。 这既是一本厚重的书籍,也是一门全面的课程,希望读者朋能喜欢。
MATRIXKOO/rust_magazine_2021
RustMagazine 2021 期刊
MATRIXKOO/arocc
A C compiler written in Zig.
MATRIXKOO/asmjit
Low-latency machine code generation
MATRIXKOO/binaryen
Optimizer and compiler/toolchain library for WebAssembly
MATRIXKOO/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)
MATRIXKOO/cheerp-meta
Cheerp - a C/C++ compiler for Web applications - compiles to WebAssembly and JavaScript
MATRIXKOO/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
MATRIXKOO/easy-smt
Easy SMT solver interaction
MATRIXKOO/fleet
🚀 The blazing fast build tool for Rust.
MATRIXKOO/github-profile-achievements
A collection listing all Achievements available on the GitHub profile 🏆
MATRIXKOO/lima
Linux virtual machines, typically on macOS, for running containerd
MATRIXKOO/lit
An integrated testing tool inspired from LLVM's 'lit' tool
MATRIXKOO/localpilot
MATRIXKOO/marwood
An embeddable Scheme R7 Compiler & Runtime written in Rust
MATRIXKOO/musl-wasm
MATRIXKOO/nora
An experimental Racket implementation using LLVM/MLIR
MATRIXKOO/optview2
User-oriented fork of LLVM's opt-viewer
MATRIXKOO/PLCT-Weekly
软件所PLCT实验室在开源领域的不定期简报
MATRIXKOO/portfolio-website
MATRIXKOO/rime
Rime Squirrel 鼠须管配置文件(朙月拼音、小鹤双拼、自然码双拼)
MATRIXKOO/Static-Program-Analysis-Book
Getting started with static program analysis. 静态程序分析入门教程。
MATRIXKOO/tangping
躺平即正义。Nothing is true, everything is permitted
MATRIXKOO/tool-conventions
Conventions supporting interoperatibility between tools working with WebAssembly.
MATRIXKOO/wizard-engine
Research WebAssembly Engine