Stars
An archive of John Carmack’s .plan files in readable markdown format
MAIANA™ is the first Open Source AIS transponder. It proudly raises an extra long middle finger to the marine electronics industry, government overregulation and everything else that gets in the wa…
A Stream Deck plugin to manage your Google Meet microphone and camera.
Example implementation of Algorithm W for Hindley-Milner type inference
The main code repository for the Derecho project.
Prototype Mixed-consistency transaction implementation
Advanced Python Mastery (course by @dabeaz)
notes for software engineers getting up to speed on new AI developments. Serves as datastore for https://latent.space writing, and product brainstorming, but has cleaned up canonical references und…
[dormant] a low-level language framework (including SNES assembler!)
Previous version of "I Write Like" written in Racket
an experimental video game development environment
Managing windows size and position in OSX
Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the section of the paper it implements. I made a few modifications …
[dormant] experimental compiler infrastructure