nigel Follow 
Stars
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
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
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.
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.
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.