Binder Trace is a tool for intercepting and parsing Android Binder messages. Think of it as "Wireshark for Binder".

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Code for the manim-generated scenes used in 3blue1brown videos

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

A summary of 200+ CTF blockchain challenges

Documentation for products made by Kagi Inc

Tool developed to fuzz the GATT layer of the Bluetooth Low Energy protocol based on defined attack scenarios.

Utility to decrypt drive images encrypted with Android's File-Based Encryption (FBE)

Tool to read/write/update android boot images

Fraktal's take on building an affordable Laser Fault Injection Rig

Kernel-mode Paravirtualization in Ring 2, LLVM based linker, and some other things!

Implementation of sllvm obfuscator

Wiki pages for compiler technologies https://compilers.wiki

Labyrinth, a LLVM obfuscation plugin for the New Pass Manager

A collection of LLVM passes for obfuscating

RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).

A self-paced course to learn Rust, one exercise at a time.

Binee: binary emulation environment

Indented document literals for Rust

A light-weight header only Entity Component system for C++

rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

A hash table with consistent order and fast iteration; access items by key or sequence index

simple bare-metal armv8 (aarch64) hypervisor

LeOS operating system Kernel for AArch64 written in Rust

Rust task runner and build tool.

Resources accompanying the LibAFL workshop blog post

AFL bindings for Unicorn-Engine