MCP Server for Ghidra

a quick and dirty little program to convert Apple CoreML model to ANE hwx file

Everything we actually know about the Apple Neural Engine (ANE)

Reverse engineered the Apple Neural Engine, with working Python and Objective C samples

a recipe lang and ide (eventually) -- in Rust

Apple GPU microarchitecture

This repository contains the official implementation of "FastVLM: Efficient Vision Encoding for Vision Language Models" - CVPR 2025

PoC for embedding text files into the weights of a character-level LSTM neural network

A bootloader and experimentation playground for Apple Silicon

A unit test-like interface for fuzzing and symbolic execution

Peter's Amazing Syntax Tree Analyzer

Rellic produces goto-free C output from LLVM bitcode

Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature types.

A language for constraint-guided and efficient LLM programming.

Forum for discussing Internet censorship circumvention

GO Simple Tunnel - a simple tunnel written in golang

A censorship circumvention tool to evade detection by authoritarian state adversaries

Efficient techniques for mining LTL formulae over linear input traces

JQF + Zest: Coverage-guided semantic fuzzing for Java.

An FHE compiler for C++

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

UCLID5: formal modeling, verification, and synthesis of computational systems

Program analysis tools developed at Draper on the CBAT project.

A small, light weight, RISC CPU soft core

OpenTitan: Open source silicon root of trust

Random instruction generator for RISC-V processor verification

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Multi-platform nightly builds of open source digital design and verification tools

A reversing plugin for cross-decompiler collaboration, built on git.