Projects

hotpatch

In-place hotpatching in Python.

MML

Elegant markup generation.

Befunge-93 Analyzer

Static analyzer for Befunge-93.

coopersatSMT solver (QFLIA).
clextClan Lord image extractor.

Contact

Emailmichael@spectralforms.com