husted.io Software Developer

projects

Projects

Selected active, archived, and private work.

  1. private HTPL A user-friendly interface from my M.Sc. thesis work on proprietary PKI policy languages.
  2. archived RL/SRL A simplified implementation of two reversible programming languages from my B.Sc. thesis.
  3. active Sequent A programming language for writing Fitch-style first-order logic proofs.

Navigation

Command palette