M4tr1xt4ng's Projects
A C compiler written in Zig.
Low-latency machine code generation
A C/C++ Staitc Analyzer for Now.
Optimizer and compiler/toolchain library for WebAssembly
use C++ lambda to create a functional program language.
Abstract interpreter for real-world application programs
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 - a C/C++ compiler for Web applications - compiles to WebAssembly and JavaScript
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理(紫龙书)第2版习题答案。
Easy SMT solver interaction
🚀 The blazing fast build tool for Rust.
A collection listing all Achievements available on the GitHub profile 🏆
:zap: Dynamically generated stats for your github readmes
A collection of useful .gitignore templates
Linux virtual machines, typically on macOS, for running containerd
An integrated testing tool inspired from LLVM's 'lit' tool
An embeddable Scheme R7 Compiler & Runtime written in Rust
An experimental Racket implementation using LLVM/MLIR
User-oriented fork of LLVM's opt-viewer
程序语言与编译技术相关资料(持续更新中)
软件所PLCT实验室在开源领域的不定期简报
Rime Squirrel 鼠须管配置文件(朙月拼音、小鹤双拼、自然码双拼)
<<Rust语言圣经(The Course)>>,本书对Rust语言进行全面且深入的讲解,辅以生动的文字和典型的示例。 这既是一本厚重的书籍,也是一门全面的课程,希望读者朋能喜欢。
用于Rust编程后花园交流群发帖讨论交流