Projects

Astrofuse

Puzzle game.

MML

Elegant markup syntax.

Befunge-93 Analyzer

Static analyzer for Befunge-93.

coopersatSMT solver (QFLIA).
clextClan Lord image extractor.

Contact

Emailmichael@spectralforms.com