-
@vidar-team @InProgramming
- @earth
- https://matrixkook.github.io/
- @matrixkook67
-
vast Public
Forked from trailofbits/vastVAST 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 pro…
-
optview2 Public
Forked from OfekShilon/optview2User-oriented fork of LLVM's opt-viewer
Python UpdatedDec 21, 2023 -
ayanami-nemesis-analyzer Public
A C/C++ Staitc Analyzer for Now.
-
-
-
nora Public
Forked from pmatos/noraAn experimental Racket implementation using LLVM/MLIR
C++ Apache License 2.0 UpdatedSep 7, 2023 -
arocc Public
Forked from Vexu/aroccA C compiler written in Zig.
Zig MIT License UpdatedSep 7, 2023 -
binaryen Public
Forked from WebAssembly/binaryenOptimizer and compiler/toolchain library for WebAssembly
WebAssembly Apache License 2.0 UpdatedJul 15, 2023 -
tangping Public
Forked from phodal/tangping躺平即正义。Nothing is true, everything is permitted
The Unlicense UpdatedJul 15, 2023 -
-
asmjit Public
Forked from asmjit/asmjitLow-latency machine code generation
C++ zlib License UpdatedApr 28, 2023 -
tool-conventions Public
Forked from WebAssembly/tool-conventionsConventions supporting interoperatibility between tools working with WebAssembly.
Artistic License 2.0 UpdatedMar 20, 2023 -
cheerp-meta Public
Forked from leaningtech/cheerp-metaCheerp - a C/C++ compiler for Web applications - compiles to WebAssembly and JavaScript
C++ UpdatedMar 15, 2023 -
lima Public
Forked from lima-vm/limaLinux virtual machines, typically on macOS, for running containerd
Go Apache License 2.0 UpdatedFeb 24, 2023 -
wizard-engine Public
Forked from titzer/wizard-engineResearch WebAssembly Engine
WebAssembly UpdatedJan 19, 2023 -
-
PL-Compiler-Resource Public
Forked from shining1984/PL-Compiler-Resource程序语言与编译技术相关资料(持续更新中)
-
marwood Public
Forked from strtok/marwoodAn embeddable Scheme R7 Compiler & Runtime written in Rust
Rust Apache License 2.0 UpdatedOct 18, 2022 -
rust-course Public
Forked from sunface/rust-course<<Rust语言圣经(The Course)>>,本书对Rust语言进行全面且深入的讲解,辅以生动的文字和典型的示例。 这既是一本厚重的书籍,也是一门全面的课程,希望读者朋能喜欢。
-
-
github-profile-achievements Public
Forked from Schweinepriester/github-profile-achievementsA collection listing all Achievements available on the GitHub profile 🏆
Markdown MIT License UpdatedJul 14, 2022 -
dg Public
Forked from mchalupa/dg[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
C++ MIT License UpdatedMay 18, 2022 -
-
lit Public
Forked from dylanmckay/litAn integrated testing tool inspired from LLVM's 'lit' tool
Rust MIT License UpdatedApr 27, 2022 -
fleet Public
Forked from dimensionhq/fleet🚀 The blazing fast build tool for Rust.
Rust Apache License 2.0 UpdatedApr 23, 2022 -
Static-Program-Analysis-Book Public
Forked from RangerNJU/Static-Program-Analysis-BookGetting started with static program analysis. 静态程序分析入门教程。
Creative Commons Attribution Share Alike 4.0 International UpdatedMar 5, 2022 -
PLCT-Weekly Public
Forked from plctlab/PLCT-Weekly软件所PLCT实验室在开源领域的不定期简报
HTML Creative Commons Attribution Share Alike 4.0 International UpdatedMar 5, 2022 -
rust_magazine_2021 Public
Forked from RustMagazine/rust_magazine_2021RustMagazine 2021 期刊
-
-
Catch2 Public
Forked from catchorg/Catch2A 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)
C++ Boost Software License 1.0 UpdatedJul 12, 2021