Matt's starred repositories

netron

Visualizer for neural network, deep learning and machine learning models

Language:JavaScriptLicense:MITStargazers:25811Issues:296Issues:1053

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++License:Apache-2.0Stargazers:8354Issues:82Issues:3925

google-drive-ocamlfuse

FUSE filesystem over Google Drive

Language:OCamlLicense:MITStargazers:5334Issues:152Issues:821

git-branchless

High-velocity, monorepo-scale workflow for Git

Language:RustLicense:Apache-2.0Stargazers:3268Issues:19Issues:210

LibAFL

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

Language:RustLicense:NOASSERTIONStargazers:1811Issues:31Issues:410

pypy

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

Language:PythonLicense:NOASSERTIONStargazers:671Issues:18Issues:4845

wg-best-practices-os-developers

The Best Practices for OSS Developers working group is dedicated to raising awareness and education of secure code best practices for open source developers.

Language:JavaScriptLicense:Apache-2.0Stargazers:603Issues:54Issues:107

hachoir

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

Language:PythonLicense:GPL-2.0Stargazers:587Issues:22Issues:49

bach

Bach Testing Framework

Language:ShellLicense:NOASSERTIONStargazers:542Issues:12Issues:8

libassert

The most over-engineered C++ assertion library

Language:C++License:MITStargazers:426Issues:7Issues:37

zpoline

system call hook for Linux

Language:CLicense:Apache-2.0Stargazers:354Issues:13Issues:9

verus

Verified Rust for low-level systems code

Language:RustLicense:MITStargazers:343Issues:19Issues:344

ExcaliburHash

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

Language:C++License:MITStargazers:299Issues:6Issues:4

melior

The rustic MLIR bindings in Rust

Language:RustLicense:Apache-2.0Stargazers:219Issues:8Issues:52

MicroHs

Haskell implemented with combinators

Language:HaskellLicense:NOASSERTIONStargazers:209Issues:9Issues:14

tc-build

A set of scripts to build LLVM and binutils

Language:PythonLicense:Apache-2.0Stargazers:202Issues:46Issues:61

elbencho

A distributed storage benchmark for file systems, object stores & block devices with support for GPUs

Language:C++License:GPL-3.0Stargazers:142Issues:15Issues:23

elfconv

An experimental AOT compiler that translates Linux ELF binary to WebAssemlby

Language:C++License:Apache-2.0Stargazers:112Issues:6Issues:3

libCacheSim

a high performance cache simulator and library

Language:CLicense:GPL-3.0Stargazers:80Issues:4Issues:6

mlir-tv

A translation validation framework for MLIR

Language:C++License:Apache-2.0Stargazers:67Issues:7Issues:51

differ

Detecting Inconsistencies in Feature or Function Evaluations of Requirements

Language:PythonLicense:AGPL-3.0Stargazers:63Issues:3Issues:59

wyrm

Wyrm is a GCC GIMPLE to LLVM IR transpiler

Language:C++License:MITStargazers:45Issues:2Issues:0

ssa

A minimal development of SSA theory

Language:MLIRLicense:MITStargazers:32Issues:4Issues:28
Language:C++License:BSL-1.0Stargazers:28Issues:2Issues:0

SLOT

SLOT: SMT-LLVM Optimizing Translation

Language:C++License:GPL-3.0Stargazers:17Issues:2Issues:0

LENS

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

Language:CLicense:GPL-2.0Stargazers:14Issues:4Issues:0

mlir-fuzz

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

gino

Parallelizing compiler built upon NOELLE

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

ComPile

Landing page for the dataset

Language:SCSSStargazers:4Issues:0Issues:0