Projects

Sequent: A programming language for writing first-order logic proofs. Provides useful features such as proof composition and custom rule declaration. Based on Fitch-style natural deduction. Built on Haskell.

Keymap SVG: A simple SVG keymap renderer for ortholinear keyboard layouts. Dead simple frontend for a single standalone Python script. Initially used for the post about my daily driver keyboard layout (found here).

HTPL: User-friendly interface from my M.Sc. thesis. I reverse engineered and formalized a proprietary PKI, and further designed a domain-specific language on top of the underlying system’s low-level trust policy languages and interface. Built on Haskell. Under NDA.

RL/SRL: Simplified version of my B.Sc. thesis implementation. Two reversible programming languages implemented by a fellow student and me back in 2018. Built on Haskell. The web interface can be found here.