abby / ahc
OCaml 0 0

Updated 4 days ago

abby / blag
HTML 0 0

my blog lives here now

Updated 6 days ago

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

Updated 3 weeks ago

abby / cubical
Haskell 0 0

less prototype, less bad code implementation of CCHM type theory

Updated 1 month ago

abby / setoid
Haskell 0 0

a type theory with equality based on setoids

Updated 3 months ago

Updated 4 months ago

abby / CCHM
Haskell 0 0

Prototype, extremely bad code implementation of CCHM Cubical Type Theory

Updated 5 months ago