MattPD

followers

following

stars

Organizations

llvm

Matt's starred repositories

Ventoy

A new bootable USB solution.

Language:CGPL-3.058983 641 2159

organicmaps

🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by MapsWithMe (MapsMe) founders and our community. No ads, no tracking, no data collection, no crapware. Please donate to support the development!

Language:C++Apache-2.08770 89 4250

google-drive-ocamlfuse

FUSE filesystem over Google Drive

Language:OCamlMIT5410 147 838

bpftop

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

Language:CApache-2.01962 151 14

LibAFL

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Language:RustNOASSERTION1873 30 479

verus

Verified Rust for low-level systems code

Language:RustMIT1010 29 389

pypy

PyPy is a very fast and compliant implementation of the Python language.

Language:PythonNOASSERTION792 19 4877

hachoir

Hachoir is a Python library to view and edit a binary stream field by field

Language:PythonGPL-2.0589 22 51

libassert

The most over-engineered C++ assertion library

Language:C++MIT473 9 46

zpoline

system call hook for Linux

Language:CApache-2.0372 15 13

ExcaliburHash

Excalibur Hash is a high-speed hash map and hash set, ideal for performance-critical uses like video games

Language:C++MIT313 6 4

sqlelf

Explore ELF objects through the power of SQL

Language:PythonMIT234 50

autoclave

repeatedly run programs until they break, and be ready to attach a debugger

Language:C187 10 13

elfconv

An experimental AOT compiler that translates Linux ELF binary to WebAssembly

Language:C++Apache-2.0145 6 3

libCacheSim

a high performance cache simulator and library

Language:CGPL-3.089 4 6

mlir-tv

A translation validation framework for MLIR

Language:C++Apache-2.069 7 51

PyRes

Pedagogical first-order prover in Python

Language:PythonGPL-2.067 6 1

differ

Detecting Inconsistencies in Feature or Function Evaluations of Requirements

Language:PythonAGPL-3.065 3 59

wyrm

Wyrm is a GCC GIMPLE to LLVM IR transpiler

Language:C++MIT50 30

ssa

A minimal development of SSA theory

Language:MLIRApache-2.041 4 62

dynamatic

DHLS (Dynamic High-Level Synthesis) compiler based on MLIR

Language:C++NOASSERTION33 6 27

quadratic_strict_weak_ordering

Language:C++BSL-1.030 30

SLOT

SLOT: SMT-LLVM Optimizing Translation

Language:C++GPL-3.020 20

ML-Compiler-Bridge

Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations

Language:C++NOASSERTION14 4 1

mlir-fuzz

A enumerator for MLIR, relying on the information given by IRDL.

Language:C++14 6 3

LENS

[MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems

Language:CGPL-2.014 40

mlir-resources

A list of articles outside of the official MLIR docs that I've found useful for learning MLIR

8 30

pmtestbench

Code development and artifact for our port mapping inference approaches

Language:PythonMIT5 10

gino

Parallelizing compiler built upon NOELLE

Language:C++MIT400

ComPile

Landing page for the dataset

Language:SCSS400