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 master at rachel/nixos-config 2024-07-26 18:23:17 +02:00
8416d0499d make desktop file work for protonmail desktop
rachel pushed to master at rachel/nixos-config 2024-07-26 18:21:43 +02:00
8fb3ddb0d7 protonmail desktop
rachel pushed to master at rachel/nixos-config 2024-07-26 17:49:54 +02:00
d8d088710b protonmail desktop
360c718bef bump plasma manager
Compare 2 commits »
rachel pushed to master at rachel/blog-vue 2024-07-18 21:40:43 +02:00
33b86c789f less wide centercolumn
rachel pushed to master at rachel/blog-vue 2024-07-18 21:38:54 +02:00
2ebd398b08 about page
rachel pushed to master at rachel/blog-vue 2024-07-17 23:19:36 +02:00
bc1712196b cv boxes
rachel pushed to master at rachel/blog-vue 2024-07-17 22:30:36 +02:00
e2cf382fbd fix katex complaining
7faa512335 about page
bfa3365255 table fix
Compare 3 commits »
rachel pushed to master at rachel/blog-vue 2024-07-17 16:49:14 +02:00
96e99061e9 better typing
rachel pushed to master at rachel/blog-vue 2024-07-17 16:30:06 +02:00
80c8733481 actually change readme
rachel pushed to master at rachel/nixos-config 2024-07-12 13:30:38 +02:00
a457100930 revert silly
4965c32923 no more lix
afee0184a3 do not trust cpu for rand computational
Compare 3 commits »
rachel pushed to master at rachel/nixos-config 2024-07-10 19:13:10 +02:00
fe5654ceec lix
rachel pushed to master at rachel/nixos-config 2024-07-09 18:16:36 +02:00
1e0dc4783f shell functions for running and creating shells
rachel pushed to master at rachel/nixos-config 2024-07-09 17:21:27 +02:00
21fe9aee0e mjau
rachel pushed to master at rachel/nixos-config 2024-07-03 19:13:28 +02:00
df0eb6c347 nixprof
rachel pushed to master at rachel/nixos-config 2024-07-03 18:37:08 +02:00
75c8b5aa73 makar
rachel pushed to master at rachel/nixos-config 2024-07-03 18:32:35 +02:00
0c84c4c03f makar
rachel pushed to master at rachel/nixos-config 2024-06-25 16:01:13 +02:00
a6f591f6e0 wallpaper
rachel pushed to master at rachel/nixos-config 2024-06-25 15:40:14 +02:00
5708f39308 less agressive plasma manager
rachel pushed to master at rachel/nixos-config 2024-06-25 13:57:19 +02:00
2a8d033f7d bump flake
rachel pushed to master at rachel/nixos-config 2024-06-25 12:12:00 +02:00
791d65a78d plasma manager