Hurl, run and test HTTP requests with plain text.

Cross-platform End-to-end encrypted TCP/UDP port forwarding through P2P connections.

A phone number can reveal whether a device is active, in standby or offline (and more). This PoC demonstrates how delivery receipts + RTT timing leak sensitive device-activity patterns. (WhatsApp /…

A spreadsheet where formulas also update backwards

Review pull requests in a high-performance UI, driven by keybinds.

Ferris-on-Air: An experimental IEEE 802.11 (WLAN) stack for rust on the ESP32.

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

Windows inside a Docker container.

Peer-to-peer, editor-agnostic collaborative editing of local text files.

A tutorial website for plain vanilla web development

Git at scale platform

DIN 5008 letter template for Typst

Pipewire Volume Control

Surface-Stable Fractal Dithering

Context-Generic Programming: modular programming paradigm for Rust

C-friendly API to make path resolution safer on Linux.

Headless Deezer Connect player 💜

Using symbolic execution to try to determine a pacman .install hook is only using reasonable commands

perf: Linux profiling with performance counters

An optimization modeling language with solvers for MILP problems

A fast, local neural text to speech system

A high-level, ergonomic Rust library for creating PDF documents.

trying to figure out this jujutsu thing

A retargetable MLIR-based machine learning compiler and runtime toolkit.

HTML Validator, Formatter, LSP, and Templating Language Library

Easily spot missing ARIA labels, misused ARIA roles, and incomplete keyboard support in your web applications.

Analyze ELF binaries like a boss 😼🕵️‍♂️

Python module and documentation for direct printing on Peripage thermal printers via bluetooth