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