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
20
 Projects Packages Public Activity Starred Repositories
Filter
Sort
nixos-config
Nix 0 0
my nixos configuration
Updated 2024-07-26 18:23:17 +02:00
blog-vue
Vue 0 0
Updated 2024-07-18 21:40:43 +02:00
forsh
Shell 0 0
Updated 2024-07-08 18:53:35 +02:00
nixos-server
Nix 0 0
Updated 2024-06-21 17:31:34 +02:00
gecco
Haskell 0 0
Updated 2024-06-10 22:14:46 +02:00
cwfs
0 0
A literate formalization of categories with families in cubical agda.
Updated 2024-06-08 15:41:34 +02:00
secd
C 0 0
A vm designed to run functional languages. Unfinished and (currently) abandoned.
Updated 2024-06-08 15:39:01 +02:00
eyezoom
Shell 0 0
Updated 2024-06-08 15:26:05 +02:00
psDeriver
Nix 0 0
psDeriver is a file which lets one define postscript derivations simply.
Updated 2024-06-08 15:24:29 +02:00
viddl
Haskell 0 0
A web front-end for youtube-dl
Updated 2024-06-08 15:14:32 +02:00
agda-web-test
Agda 0 0
Updated 2024-06-08 15:11:57 +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 2024-06-08 15:11:36 +02:00
kino
Haskell 0 0
A tui client for browsing yts.mx
Updated 2024-06-08 15:10:53 +02:00
chalmers-eduroam-nix
Nix 0 0
Updated 2024-06-08 15:09:19 +02:00
emacs.d
Emacs Lisp 0 0
Updated 2024-06-08 15:07:11 +02:00