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
21
 Projects Packages Public Activity Starred Repositories
rachel pushed to berry at rachel/nixos-config 2024-03-18 16:00:07 +01:00
2d114632c2 mjau
rachel pushed to berry at rachel/nixos-config 2024-03-16 16:19:01 +01:00
ed1b7dc0a5 oops
rachel pushed to berry at rachel/nixos-config 2024-03-15 12:00:11 +01:00
3727fc359b typo
rachel pushed to berry at rachel/nixos-config 2024-03-14 16:35:44 +01:00
9cfe373129 [le/lt]
rachel pushed to berry at rachel/nixos-config 2024-03-14 15:03:35 +01:00
f6905d27e8 lualine
rachel pushed to main at xenchel/templates 2024-03-13 23:39:26 +01:00
8d260e8e01 c2x
rachel pushed to main at xenchel/templates 2024-03-13 23:33:37 +01:00
042af47d5f c template using meson
rachel pushed to berry at rachel/nixos-config 2024-03-12 14:56:34 +01:00
8eb7008aeb no error on no windows
rachel pushed to berry at rachel/nixos-config 2024-03-12 14:52:44 +01:00
c4b963cd7e empty workspace fix
rachel pushed to berry at rachel/nixos-config 2024-03-12 14:44:09 +01:00
9ddd8edd1f list windows
rachel pushed to berry at rachel/nixos-config 2024-03-12 12:41:54 +01:00
de8855153e bluetooth
rachel pushed to berry at rachel/nixos-config 2024-03-12 12:22:50 +01:00
dccfcaca64 gnome keyring
rachel pushed to berry at rachel/nixos-config 2024-03-12 12:20:53 +01:00
f809873243 xsession
rachel pushed to berry at rachel/nixos-config 2024-03-12 11:59:35 +01:00
02d29fb799 battery warning
0da2b3060f mjau
Compare 2 commits »
rachel created branch berry in rachel/nixos-config 2024-03-09 20:29:31 +01:00
rachel pushed to berry at rachel/nixos-config 2024-03-09 20:29:31 +01:00
183490c955 initial berry testing
rachel pushed to master at rachel/nixos-config 2024-03-05 20:44:34 +01:00
081d5068c2 slippi netplay
rachel pushed to master at rachel/nixos-config 2024-03-05 20:43:27 +01:00
924d7b21e0 bqn, ! fix for neovim
rachel pushed to main at xenchel/templates 2024-03-05 19:10:04 +01:00
a27820eb99 doh
rachel pushed to main at xenchel/templates 2024-03-05 17:19:24 +01:00
11ed112837 julia devshell