Linter for first-order logic.
A simple abacus machine language, for teaching.
A cooking thermometer with hands-free control, temperature alarms, and more.
A full inverse kinematics implementation for a hexapod.
Overseeing a popular online programming environment.
3D printed accessories for photography.
Improving memory efficiency and code readability.
Web design after three years.
An IDE for Pyret, a teaching language.
An attempt to bring colour to persistence-of-vision devices.
Rendering content to the popular Holtek HT1632C LED driver.
Novel ways to control things.