SAT solver written in Rust

Command line helpers for fuzzing

Open-source keyboard firmware for Atmel AVR and Arm USB families

Code for the paper "Language Models are Unsupervised Multitask Learners"

A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops, workstations and servers.

A chess-themed tutorial on writing an SPA in Bucklescript-TEA

Rust project boilerplate for CLI applications

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Reverse engineering of Validity/Synaptics 138a:0090, 138a:0094, 138a:0097, 06cb:0081, 06cb:009a fingerprint readers protocol

A tool to detect code paths leading to Rust's panic handler

A library providing a class for monads which log messages, an associated transformer, and associated data types.

stb single-file public domain libraries for C/C++

Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

Community-based GPL-licensed network monitoring system

Chromium OS Universal Chroot Environment (EOL)

uMatrix: Point and click matrix to filter net requests according to source, destination and type

Open Broadcaster Software (Deprecated: See OBS Studio repository instead)