abby / CCHM
Haskell 0 0

Prototype, extremely bad code implementation of CCHM Cubical Type Theory

Updated 7 months ago

abby / blag
HTML 0 0

my blog lives here now

Updated 3 weeks ago

abby / cubical
Haskell 0 0

less prototype, less bad code implementation of CCHM type theory

Updated 3 months ago

Updated 6 months ago

abby / setoid
Haskell 0 0

a type theory with equality based on setoids

Updated 5 months ago

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

Updated 2 months ago

Updated 1 month ago

abby / ahc
Haskell 0 0

Abbie's Haskell compiler

Updated 1 month ago

converts irc logs to html files that look like discord

Updated 1 month ago

Code accompanying

Updated 2 weeks ago