Logic IC tester

Main Portal page for the Jackson project

The FLARE team's open-source extension to add Python 3 scripting to Ghidra.

Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient way.

JNI based binding for Dear ImGui

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