Multi-channel signed distance field generator

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

A fast, parallel test case minimization tool.

C-Reduce, a C and C++ program reducer

C++ Profiler For Games

Frame profiler

EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-calculus

A blocking, shuffling and loss-less compression library that can be faster than `memcpy()`.

Mirror of Google Breakpad project

SymCC: efficient compiler-based symbolic execution

egraphs + datalog!

Exploration of x86-64 ISA using speculative execution.

iOS/macOS Research Swiss Army Knife

a Ghidra framework for iOS kernelcache reverse engineering

Ghidra Extension to integrate BinDiff for function matching

MALT is a MALloc Tracker to find where and how your made your memory allocations in C/C++/Fortran applications.

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

SPIRV-Cross is a practical tool and library for performing reflection on SPIR-V and disassembling SPIR-V back to high level languages.

libipt - an Intel(R) Processor Trace decoder library

tiniest x86-64-linux emulator

Monte Carlo tree search in JAX

A simple component to display annotated text in Streamlit apps.

The fastest Intel-PT decoder for fuzzing

SDR Rx/Tx software for Airspy, Airspy HF+, BladeRF, HackRF, LimeSDR, PlutoSDR, RTL-SDR, SDRplay and FunCube

First-order temporal logic programming with microKanren

λprompt - A functional programming interface for building AI systems

🦜🔗 Build context-aware reasoning applications

📄 🤖 Semantic search and workflows for medical/scientific papers

AI-Powered Photos App for the Decentralized Web 🌈💎✨

💡 All-in-one open-source embeddings database for semantic search, LLM orchestration and language model workflows