noxabellus

(they/them)

functional & systems programmer

type theory meddler

language designer

game developer

email me (or contact me on
discord)

spending most of my time over at Tiny Bow
  • current project - all the tiny bow repos: ribbon-language, ribbon-engine, support forks
  • personal github - i have quite a few old projects archived here, if you're interested
  • resources - academic resources i've collected while doing language design research
  • monoidal-rows - an experimental type system, one of many prototypes