a page 1 rewrite of the ask proof assistant

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

Winners of the International Obfuscated C Code Contest

Steal SSH host private keys and /etc/shadow via the ptrace_may_access mm-NULL bypass + pidfd_getfd. Pre-31e62c2ebbfd kernels.

Any-angle pathfinding over polygons with holes.

poc it like it's hot

A kind synthetic Euclidean Geometry proof assistant

background code checker

Rust API to the OS X Hypervisor framework for hardware-accelerated virtualization

Rust crate with disjoint-set data structure (union-find) where sets are polygons.

A little language inspired by Rust that compiles to Go

Messing around with Eloquence (IBM TTS)

a colorful modal hex editor

Find lines across files by regex and edit them all at once with your $EDITOR

Coriolis VLSI EDA Tool (LIP6)

Reference code for the Slug Algorithm.

because research belongs to _everybody_

A Python library and CLI tool for decrypting encrypted SPICE model files, enabling engineers to use lawfully obtained models in any simulator.

Experiment

being bits and pieces I'm inclined to leave lying around

Xv6 for RISC-V

Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

HDF5 for Rust

A style guide for Haskell code.

Lua library for Gentoo-style versioning format

Translational drift ("melty brain") robot controller based on Arduino

A tool for diffing `cargo` dependency resolutions between updates

Haskell implemented with combinators

Library to read Tar archives (by GNU Tar) in `no_std` contexts with zero allocations. The crate is simple and only supports reading of "basic" archives, therefore no extensions, such as GNU Longname.

Simple decorator that adds rstar::RTree to arbitrary collections.