Rachel Lambda Samuelsson rachel
1 Followers · 1 Following
  • Gothenburg, Sweden
  • https://rachel.cafe

  • Interested in type theory, category theory and univalent foundations.

  • Joined on 2022-01-22
Repositories
46
 Projects Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
kino
Haskell 0 0

A tui client for browsing yts.mx

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

hm
Haskell 0 0

A hindley-milner typechecker with inductive types.

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

viddl
Haskell 0 0

A web front-end for youtube-dl

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

an-algorithm-for-checking-dependent-types
Haskell 0 0

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

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