A web front-end for youtube-dl

Updated 2022-10-08 14:47:45 +02:00

En databas för maträtter och recept.

Updated 2023-08-16 11:41:57 +02:00

A tui client for browsing yts.mx

Updated 2023-07-25 11:58:02 +02:00

A hindley-milner typechecker with inductive types.

Updated 2023-01-25 21:39:25 +01:00

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

Updated 2022-05-12 19:01:29 +02:00