Giters
M4tr1xt4ng (MATRIXKOO)

MATRIXKOO

Geek Repo

122

followers

231

following

1k

stars

Company:@Vidar-Team @InProgramming

Location:@earth

Home Page:https://matrixkook.github.io/

Twitter:@matrixkook67

Github PK Tool:Github PK Tool

Organizations
vidar-team

M4tr1xt4ng's repositories

ayanami-nemesis-analyzer

A C/C++ Staitc Analyzer for Now.

Language:C++Stargazers:7Issues:2Issues:1

MATRIXKOO

Stargazers:4Issues:2Issues:0

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.

Language:C++License:Apache-2.0Stargazers:4Issues:1Issues:0

fuzztest

Language:C++License:NOASSERTIONStargazers:1Issues:0Issues:0

PL-Compiler-Resource

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

License:CC-BY-SA-4.0Stargazers:1Issues:2Issues:0

rust-course

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

Language:RustStargazers:1Issues:1Issues:0

rust_magazine_2021

RustMagazine 2021 期刊

Language:JavaScriptLicense:MITStargazers:1Issues:1Issues:0

arocc

A C compiler written in Zig.

Language:ZigLicense:MITStargazers:0Issues:0Issues:0

asmjit

Low-latency machine code generation

License:ZlibStargazers:0Issues:0Issues:0

binaryen

Optimizer and compiler/toolchain library for WebAssembly

Language:WebAssemblyLicense:Apache-2.0Stargazers:0Issues:0Issues:0

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)

Language:C++License:BSL-1.0Stargazers:0Issues:1Issues:0

cheerp-meta

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

Language:C++Stargazers:0Issues:0Issues:0

dg

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

Language:C++License:MITStargazers:0Issues:1Issues:0

easy-smt

Easy SMT solver interaction

Language:RustStargazers:0Issues:0Issues:0

fleet

🚀 The blazing fast build tool for Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

github-profile-achievements

A collection listing all Achievements available on the GitHub profile 🏆

Language:MarkdownLicense:MITStargazers:0Issues:1Issues:0

lima

Linux virtual machines, typically on macOS, for running containerd

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

lit

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

Language:RustLicense:MITStargazers:0Issues:1Issues:0

localpilot

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

marwood

An embeddable Scheme R7 Compiler & Runtime written in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

musl-wasm

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

nora

An experimental Racket implementation using LLVM/MLIR

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

optview2

User-oriented fork of LLVM's opt-viewer

Language:PythonStargazers:0Issues:0Issues:0

PLCT-Weekly

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

Language:HTMLLicense:CC-BY-SA-4.0Stargazers:0Issues:1Issues:0

portfolio-website

Language:TypeScriptStargazers:0Issues:1Issues:0

rime

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

Language:LuaStargazers:0Issues:1Issues:0

Static-Program-Analysis-Book

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

License:CC-BY-SA-4.0Stargazers:0Issues:1Issues:0

tangping

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

License:UnlicenseStargazers:0Issues:1Issues:0

tool-conventions

Conventions supporting interoperatibility between tools working with WebAssembly.

License:Artistic-2.0Stargazers:0Issues:0Issues:0

wizard-engine

Research WebAssembly Engine

Language:WebAssemblyStargazers:0Issues:0Issues:0