Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
rachel / hm
Haskell 0 0

A hindley-milner typechecker with inductive types.

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

rachel / cwfs
0 0

A literate formalization of categories with families in cubical agda.

Updated 2022-10-28 16:23:43 +02:00

rachel / pi
Idris 0 0

A typechecker for intensional MLTT without elaboration.

Updated 2022-10-16 19:58:46 +02:00

rachel / secd
C 0 0

A vm designed to run functional languages. Unfinished and (currently) abandoned.

Updated 2022-10-08 14:51:37 +02:00

rachel / mpdart
C 0 0

An application for viewing album art of the song currently playing in mpd

Updated 2022-10-08 14:49:33 +02:00

rachel / viddl
Haskell 0 0

A web front-end for youtube-dl

Updated 2022-10-08 14:47:45 +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 2022-05-12 19:01:29 +02:00