Connor Lane Smith

libutf. Plan 9 compatible UTF-8 C library

utfset. Sets of runes with a UTF-8 tree structure

strong-krivine. Strongly normalising Krivine machine for λσ⇑-calculus

stlc. Optimised type inference for simply-typed λ-calculus

scrying-sheets. Static site generator for Magic decklists using Scryfall

floret. Incremental parsing by weighted regular expressions

b64fix. Compute the Base64 fixpoint up to a given precision

aoc2025. Advent of Code 2025