🔮 A lightweight comments widget built on GitHub issues

Sudoku solving in python packaging

Windows Precision Touchpad Driver Implementation for Apple MacBook / Magic Trackpad

Automatic verification of LLVM optimizations

Collection of library stubs for Python, with static types

The Python programming language

Python type hints are Turing complete.

A small C compiler

Notes describing my understanding of how modern Python event loops work

Optional static typing for Python

Gimmicky commit hash made using bradfitz/gitbrute

🌸 A command-line fuzzy finder

A handy tool for doing efficient in-memory commit rebases & fixups

Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.