Amélia Liao amelia
Repositories Public Activity Starred Repositories
0
 Following
0
 Followers
0
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
blag
HTML 0 0

my blog lives here now

Updated 2 years ago

agda-reference-filter
Haskell 0 0

Filter for linking Agda identifiers in inline code spans

Updated 2 years ago

agda-fold-equations
Haskell 0 0

Updated 2 years ago

cubical
Haskell 0 0

less prototype, less bad code implementation of CCHM type theory

Updated 2 years ago

irc-log-viewer
TypeScript 0 0

converts irc logs to html files that look like discord

Updated 3 years ago

agda-unused-imports
Haskell 0 0

Finds (badly) unused imports based on Agda HTML output

Updated 3 years ago

layout-parser
Haskell 0 0

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

Updated 3 years ago

ahc
Haskell 0 0

Abbie's Haskell compiler

Updated 3 years ago

ahc-old
OCaml 0 0

Updated 3 years ago

reaction-manager
QML 0 0

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

Updated 3 years ago

setoid
Haskell 0 0

a type theory with equality based on setoids

Updated 3 years ago

image-branch
0 0

Updated 3 years ago

CCHM
Haskell 0 0

Prototype, extremely bad code implementation of CCHM Cubical Type Theory

Updated 3 years ago