my blog lives here now
Updated 5 months ago
Filter for linking Agda identifiers in inline code spans
Updated 7 months ago
Updated 7 months ago
less prototype, less bad code implementation of CCHM type theory
Updated 7 months ago
converts irc logs to html files that look like discord
Updated 8 months ago
Finds (badly) unused imports based on Agda HTML output
Updated 8 months ago
Code accompanying https://abby.how/posts/parsing-layout.html
Updated 9 months ago
Abbie's Haskell compiler
Updated 10 months ago
Updated 11 months ago
image picker with clipboard and drag-n-drop capability for linux.
Updated 1 year ago
a type theory with equality based on setoids
Updated 1 year ago
Updated 1 year ago
Prototype, extremely bad code implementation of CCHM Cubical Type Theory
Updated 1 year ago