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-10-16 13:27:31 +02:00
cccdcaea5e update nixpkgs
rachel pushed to master at rachel/primes 2024-10-13 22:45:01 +02:00
efbb2a1220 find all divisors
rachel pushed to master at rachel/nixos-config 2024-10-13 21:37:17 +02:00
aaf67349a5 add new mouse name
rachel pushed to master at rachel/nixos-config 2024-10-13 21:04:32 +02:00
fd1bf99e60 eyezoom res
rachel pushed to master at rachel/nixos-config 2024-10-11 20:16:54 +02:00
030d01f4cb 144hz fix
rachel pushed to master at rachel/nixos-config 2024-10-06 11:33:19 +02:00
92c16f8164 virt manager
rachel pushed to master at rachel/nixos-config 2024-10-05 15:11:06 +02:00
0cd689a3c6 add pash to user env
rachel pushed to master at rachel/nixos-config 2024-09-24 18:12:22 +02:00
2637a8e5c9 use accel instead of transform to fix kde issue
rachel pushed to master at rachel/nixos-config 2024-09-24 17:44:04 +02:00
278fd3a72a zoom macro sens change
rachel pushed to master at rachel/nixos-config 2024-09-24 16:45:32 +02:00
374ff56179 resizing generalized
rachel pushed to master at rachel/nixos-config 2024-09-24 12:41:04 +02:00
eec0d7e3b7 add wide zoom
rachel pushed to master at rachel/nixos-config 2024-09-23 22:34:31 +02:00
acab4ef1e3 graalvm
rachel pushed to master at rachel/nixos-config 2024-09-23 22:31:05 +02:00
f71c729a71 graalvm
rachel pushed to master at rachel/nixos-config 2024-09-23 22:25:09 +02:00
d1e70cc92d webcord desktop entry
rachel pushed to master at rachel/nixos-config 2024-09-23 22:22:44 +02:00
00837044ea applications
rachel pushed to master at rachel/nixos-config 2024-09-23 22:18:08 +02:00
099674800b applications
rachel pushed to master at rachel/nixos-config 2024-09-18 16:58:33 +02:00
e5aca17571 transient system
rachel pushed to master at rachel/nixos-config 2024-09-15 19:53:00 +02:00
8c4d4b911c fix
3a6561da03 eyezoom
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2024-09-12 20:02:27 +02:00
ba01b9417a add bottom to applications
rachel pushed to master at rachel/nixos-config 2024-09-11 14:36:36 +02:00
280a4230e7 add git repo option