A hindley-milner typechecker with inductive types.

Updated 2 months ago

A web front-end for youtube-dl

Updated 2 months ago

A tui client for browsing yts.mx

Updated 2 months ago

"modern" haskell implementation of the algorithm described in the paper of the same name.

Updated 7 months ago