Projects

A simple CAS and language for computations in boolean algebra

A better cookbook, achieved through graph theory.

Find the path of links between 2 articles.

An efficient, heuristic solver for shikaku puzzles.

Send secure messages over insecure channels using cryptography and 2fa.

Proof-of-concept for a cryptographically-secure Twitter clone.