Projects

• tcr: A terminal text editor for Unix.
• rep: A simple command line spaced repetition system.
• osctool: A tool for sending messages using the OSC lirotocol.
• wsp: An automated solver for the workflow satisfiability problem.