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 2023-10-06 12:01:50 +02:00
910d579100 hyfetch
f6f49c964d cornelis for agda mode in neovim
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-10-06 10:45:37 +02:00
3086fef55a specify colors for tmux and alacritty
rachel pushed to master at rachel/nixos-config 2023-10-06 01:15:15 +02:00
988781de9c add rust mode emacs
216e662dbd add alternative config to try to get clean of emacs
99232cfe9f remove julia2nix
bee806ee9b texlive
Compare 4 commits »
rachel pushed to master at rachel/rachel.cafe 2023-09-15 11:03:51 +02:00
c5885104d4 mjau
rachel pushed to master at rachel/rachel.cafe 2023-09-15 00:05:36 +02:00
2892519634 DO NOT THINK ABOUT THIS
96b61100db update draft
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-09-12 21:37:19 +02:00
6cc6bd37cc julia2nix
rachel pushed to master at rachel/nixos-config 2023-09-07 19:49:43 +02:00
rachel pushed to master at rachel/nixos-config 2023-09-07 19:35:53 +02:00
590e0d67aa remove swerty
855d3f330d lambda: enable ntp
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-09-03 13:55:28 +02:00
c481b0e9ba add steam support to computational
rachel pushed to master at rachel/nixos-config 2023-09-03 10:24:33 +02:00
f5aa6d4c99 lambda: add permission for user to set niceness to any value
rachel pushed to master at rachel/nixos-config 2023-09-01 15:22:05 +02:00
5065b89d40 manage rofi with home-manager
rachel pushed to master at rachel/nixos-config 2023-09-01 15:21:24 +02:00
2ea79fb220 manage rofi with home-manager
5817aafd3b updated nixpkgs version
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-08-31 20:18:11 +02:00
1c5968d5d1 trying not using TLP
rachel pushed to master at rachel/nixos-config 2023-08-28 01:47:14 +02:00
16ea6ddc30 enable steam in attempt to make steam input work
rachel pushed to master at rachel/nixos-config 2023-08-27 21:07:05 +02:00
99d3ed0dbf gamemode run on computational
rachel pushed to master at rachel/nixos-config 2023-08-27 20:26:21 +02:00
3830295fa8 enable gamemode on lambda
rachel pushed to master at rachel/nixos-config 2023-08-25 14:44:13 +02:00
51c639fdac mpv gpu accel
rachel pushed to master at rachel/nixos-config 2023-08-25 14:10:55 +02:00
ba32f1281c extra gpu drivers
rachel pushed to master at rachel/nixos-config 2023-08-19 22:19:56 +02:00
f5e3808b4a add lutris to user packages
rachel pushed to master at rachel/nixos-config 2023-08-19 21:24:10 +02:00
ce36020aa7 add en_US locale