KLEE Symbolic Execution Engine

Ghidra extension for exporting relocatable object files

Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

Setup Ghidra environment for GitHub Actions

Temporal service

Firefox extension to save and restore tabs as bookmarks. Clear your tabs, clear your mind.

Kotlin/Java API for various SMT solvers

Add asynchronous RPC services to your multiplatform applications.

PostgreSQL zero-downtime migrations made easy

KIRK Processor Module for Ghidra

Theoretical Processor Module for IDA Pro

🥑 PlayStation 1 emulator

Frame profiler

WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)

Robust Speech Recognition via Large-Scale Weak Supervision

🖼 React library to support easy zoom, pan, pinch on various html dom elements like <img> and <div>

A WebSocket plugin for mpv

🎧☁️ Your Personal Streaming Service

A free but powerful Windows kernel research tool.

Ghidra Wasm plugin with disassembly and decompilation support

Sends textract-ed lines along with some information to other applications

connect yomichan with jpdb via anki connect protocol

Map-like, concurrent promise processing

Menubar Tool to set Charge Limits and Prolong Battery Lifespan

Windows Precision Touchpad Driver Implementation for Apple MacBook / Magic Trackpad

Unofficial PSP VFPU documentation