Updated 8 months ago
Filter for linking Agda identifiers in inline code spans
Updated 8 months ago
Finds (badly) unused imports based on Agda HTML output
Updated 9 months ago
Abbie's Haskell compiler
Updated 1 year ago
Updated 1 year ago
my blog lives here now
Updated 6 months ago
Prototype, extremely bad code implementation of CCHM Cubical Type Theory
Updated 1 year ago
less prototype, less bad code implementation of CCHM type theory
Updated 8 months ago
Updated 1 year ago
converts irc logs to html files that look like discord
Updated 9 months ago
Code accompanying https://abby.how/posts/parsing-layout.html
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