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

amelia / cubical
Haskell 0 0

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 2 years ago

Finds (badly) unused imports based on Agda HTML output

Updated 2 years ago

Code accompanying https://abby.how/posts/parsing-layout.html

Updated 2 years ago

amelia / ahc
Haskell 0 0

Abbie's Haskell compiler

Updated 2 years ago

Updated 2 years ago

image picker with clipboard and drag-n-drop capability for linux.

Updated 2 years ago

amelia / setoid
Haskell 0 0

a type theory with equality based on setoids

Updated 2 years ago

Updated 3 years ago

amelia / CCHM
Haskell 0 0

Prototype, extremely bad code implementation of CCHM Cubical Type Theory

Updated 3 years ago