An experimental copy-and-patch JIT framework in Rust

Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays

Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation

Interactive ROP gadget semantic search

Cheat for my own game SecureGame which uses a bootkit to hyperjack Hyper-V in order to access VBS enclave's memory

Code auditing productivity multiplier.

A Haskell library for testing programs that output text

Rust crate to create dragondance trace files

Shannon Lite is an autonomous, white-box AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities bef…

Idiomatic Rust bindings to the Ghidra SLEIGH library for pcode disassembly

Empowering everyone to build reliable and efficient software.

Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…

Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently…

a Rust library implementing safe, lightweight context switches, without relying on kernel services

VMM userspace for illumos bhyve

VMM for native-performance sandboxing

Rust Training by Examples

🎶 Choreographic programming in Rust 🎶

WebAssembly to Luau and LuaJIT translation

Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com

Small powerful micro scripting language <1K SLOC

Development at the speed of light

small, single-header library that adds compile time type safety to C23.

The Best Library: a C++ STL replacement

A messy e-graph implementation