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/rachel.cafe 2024-11-20 20:44:35 +01:00
2ead43e573 wa?
rachel pushed to master at rachel/rachel.cafe 2024-11-20 20:43:52 +01:00
d4bcaf920c mjau
rachel pushed to master at rachel/rachel.cafe 2024-11-20 20:41:55 +01:00
94b8ef8589 fix name
rachel pushed to master at rachel/rachel.cafe 2024-11-20 20:41:12 +01:00
2e7c5df0c2 Gemfile
rachel pushed to master at rachel/nixos-config 2024-11-05 16:17:17 +01:00
ea5255409b bump unstable
rachel pushed to master at rachel/nixos-config 2024-11-04 15:54:41 +01:00
0770ec8ff4 amd gpu support
rachel pushed to master at rachel/nixos-config 2024-11-04 14:15:20 +01:00
258761152c amd gpu support
6b56249b3d floating bind
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2024-10-23 14:48:06 +02:00
1d2fa7f3e6 eyezoom change
rachel pushed to master at rachel/nixos-config 2024-10-18 21:32:19 +02:00
c19c4058b1 no sens change
rachel pushed to master at rachel/nixos-config 2024-10-18 21:00:23 +02:00
b56cec8762 fix eyezoom not caring about mouse var
rachel pushed to master at rachel/nixos-config 2024-10-17 15:37:04 +02:00
b0caae1a47 float spectacle
d1cd6216d5 config system
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2024-10-17 14:44:24 +02:00
1141408b14 nice bar
rachel pushed to master at rachel/nixos-config 2024-10-17 02:43:01 +02:00
ecd47a0c48 fix slock bind
rachel pushed to master at rachel/nixos-config 2024-10-17 02:40:16 +02:00
71ef0c124f wezterm colors
rachel pushed to master at rachel/nixos-config 2024-10-17 02:32:34 +02:00
0da764f729 picom
rachel pushed to master at rachel/nixos-config 2024-10-17 02:30:57 +02:00
23206db5d9 picom
rachel pushed to master at rachel/nixos-config 2024-10-17 02:30:10 +02:00
a5fe79061a picom
df3f846061 yeag
f8a5302e8d more binds and screen locker
0ba698ea44 fix some binds
9909c4d5fd moving keybinds into i3
Compare 8 commits »
rachel pushed to master at rachel/nixos-config 2024-10-16 14:36:56 +02:00
6450344ae2 -slippi netplay
rachel pushed to master at rachel/nixos-config 2024-10-16 14:34:51 +02:00
a373d6df5e -slippi netplay
rachel pushed to master at rachel/nixos-config 2024-10-16 14:33:55 +02:00
5b41b1dc80 -slippi netplay