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-09-11 14:30:36 +02:00
fa9d50bca6 update readme
rachel pushed to master at rachel/nixos-config 2024-09-11 13:53:41 +02:00
1afc1fc510 eza
rachel pushed to master at rachel/nixos-config 2024-09-05 10:22:08 +02:00
619599562b cornelis rebind
rachel pushed to master at rachel/nixos-config 2024-08-29 00:47:01 +02:00
1ca16582c3 direnv logs
rachel pushed to master at rachel/nixos-config 2024-08-29 00:30:39 +02:00
7b29c79851 dont share shell history
rachel pushed to master at rachel/nixos-config 2024-08-28 18:23:02 +02:00
dce4b24475 fix vim mode indicator not working
rachel pushed to master at rachel/nixos-config 2024-08-27 17:00:24 +02:00
07b9e2f950 tidier nix thingies
rachel pushed to master at rachel/nixos-config 2024-08-27 15:10:32 +02:00
a3cf550f0b fuzzy find
rachel pushed to master at rachel/nixos-config 2024-08-27 14:30:58 +02:00
43564d0f32 shell stuff
rachel pushed to master at rachel/nixos-config 2024-08-26 15:43:10 +02:00
639e484dcf mouse fix
rachel pushed to master at rachel/nixos-config 2024-08-25 17:54:00 +02:00
18527f0f3a mouse settings
rachel pushed to master at rachel/nixos-config 2024-08-23 23:16:19 +02:00
rachel pushed to master at rachel/nixos-config 2024-08-23 23:08:22 +02:00
2e5735cb31 fastfetch in new terminals
rachel pushed to master at rachel/nixos-config 2024-08-23 23:06:25 +02:00
9bc1aff5d8 fastfetch in new terminals
rachel pushed to master at rachel/nixos-config 2024-08-23 22:07:57 +02:00
923cf653ff agda bump
rachel pushed to master at rachel/nixos-config 2024-08-22 22:03:12 +02:00
47b35640dc shell fixes
274576f829 fix fastfetch
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2024-08-22 21:07:56 +02:00
fd3f4a7a64 zsh :3
rachel pushed to master at rachel/nixos-config 2024-08-21 13:52:47 +02:00
8ef63b0d86 oops
54fa622c0b wezterm
c9794d60cd hls
Compare 3 commits »
rachel pushed to master at rachel/nixos-config 2024-07-29 12:11:31 +02:00
abce9ffc03 kdenlive
6aeadc9e19 bump plasma manager
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2024-07-27 13:38:06 +02:00
e10331eeb6 plasma manager enable overrideConfig