Lists (1)
Starred repositories
A plugin to introduce interactive symbols into your debugger from your decompiler
Collection of decent Community-made GRUB themes. Contributions welcome!
The cuteness implementation of a dependently typed language.
🔬 A fast, interactive web-based viewer for performance profiles.
A hot reload system for the Bevy game engine
ECS-driven 2D and 3D physics engine for the Bevy game engine.
Progressive, error tolerant, wavelet-based image compression algorithm
Distribute a wasm SPA as HTML by wrapping it as a polyglot "html+wasm+zip"
An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] support)
Public repository for Cantordust Ghidra plugin.
Play lunar lander in you windows file copy dialog
baton drop (CVE-2022-21894): Secure Boot Security Feature Bypass Vulnerability
Compiler optimizer for arbitrary control flow based on equality saturation
Probabilistic language based on pattern matching and constraint propagation, 153 examples
Rich is a Python library for rich text and beautiful formatting in the terminal.
curl-impersonate: A special build of curl that can impersonate Chrome & Firefox
Set of Dynamic Binary Instrumentation and visualization tools for execution traces.
Generated bindings for Linux's userspace API
A curated list of resources for learning about application security
Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
X: A programming language that only accepts identifiers that look like the letter 'x'. Inspired by https://xkcd.com/2309/