This website requires JavaScript.
Explore
Help
Sign In
Repositories
Users
Organizations
Filter
Clear Filter
Archived
Not Archived
Forked
Not Forked
Mirrored
Not Mirrored
Template
Not Template
Private
Public
Sort
Newest
Oldest
Alphabetically
Reverse alphabetically
Recently updated
Least recently updated
Most stars
Fewest stars
Most forks
Fewest forks
Smallest size
Largest size
xenchel
/
matabas
Haskell
0
0
En databas för maträtter och recept.
Updated
2024-06-08 15:32:10 +02:00
rachel
/
viddl
Haskell
0
0
A web front-end for youtube-dl
Updated
2024-06-08 15:14:32 +02:00
rachel
/
kino
Haskell
0
0
A tui client for browsing yts.mx
Updated
2024-06-08 15:10:53 +02:00
rachel
/
hm
Haskell
0
0
A hindley-milner typechecker with inductive types.
Updated
2024-06-08 15:07:03 +02:00
rachel
/
gecco
Haskell
0
0
Updated
2024-06-10 22:14:46 +02:00
rachel
/
an-algorithm-for-checking-dependent-types
Haskell
0
0
"modern" haskell implementation of the algorithm described in the paper of the same name.
Updated
2024-06-08 15:06:32 +02:00
Mastodon