wolf.html

Projects

I've spent a lot time making stuff of varying levels of quality and utility. Here are some of the more interesting ones that I've gotten around to documenting.

Coqtail

A screenshot of a Coq file open in Vim. There are three panels. The leftmost shows the Coq source code with highlighting indicating how much of the file has been evaluated. On the right are two windows stacked vertically showing the current proof goal on top and informational messages on the bottom.
A Vim/NeoVim plugin for interactive Coq proofs.

This Website

A screenshot of this website.
My personal website/project portfolio.

Weird Clocks

Coming Soon™
Custom digital clocks.

Petal

Coming Soon™
A SuperCollider-powered digital guitar/bass effects pedal.

ASCIIMe

Coming Soon™
An ASCII art webcam filter.

Sack of Potato Launcher (SOP-L)

Coming Soon™
A PVC pipe potato launcher.