currently spending most of my time on the ribbon programming language

• resources - academic resources i've collected while doing language design research
• my github - i have quite a few old projects archived here, if you're interested
• monoidal-rows - an experimental type system, one of many prototypes
• X64EZ - a fork of zig-dis-x86_64