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
32
 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
rachel.cafe
HTML 0 0

the sources for my website

Updated 2023-09-15 11:03:51 +02:00

nixos-config
Nix 0 0

my nixos configuration

Updated 2023-09-12 21:37:19 +02:00

emacs.d
Emacs Lisp 0 0

Updated 2023-08-15 10:13:59 +02:00

chalmers-eduroam-nix
Nix 0 0

Updated 2023-07-25 13:45:22 +02:00

kino
Haskell 0 0

A tui client for browsing yts.mx

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

psDeriver
Nix 0 0

psDeriver is a file which lets one define postscript derivations simply.

Updated 2023-07-23 17:48:30 +02:00

agda-web-test
Agda 0 0

Updated 2023-07-19 23:14:07 +02:00

implicitt
OCaml 0 0

A “proof assistant” with holes and implicit arguments. Being developed to learn about elaboration, meta variables and OCaml.

Updated 2023-02-05 17:05:19 +01:00

hm
Haskell 0 0

A hindley-milner typechecker with inductive types.

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

cwfs
0 0

A literate formalization of categories with families in cubical agda.

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

pi
Idris 0 0

A typechecker for intensional MLTT without elaboration.

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

secd
C 0 0

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

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

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

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