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 main at xenchel/templates 2023-10-12 22:05:51 +02:00
704b32de03 added haskell template
rachel pushed to master at rachel/nixos-config 2023-10-10 21:58:32 +02:00
4a734f2eaf fix binds due to weird terminal behaviour
rachel pushed to master at rachel/nixos-config 2023-10-10 21:14:29 +02:00
b6adbfa3e9 neovim: emacs agda mode bindings
rachel pushed to master at rachel/nixos-config 2023-10-09 12:09:45 +02:00
23c299b0e2 only one bufferline per nvim instance
rachel pushed to master at rachel/nixos-config 2023-10-07 14:12:50 +02:00
f528d9ac82 neovim cornelis bindings
653f04136b lesbian colos in tmux
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-10-06 22:16:24 +02:00
9a3b9f3946 fix comment neovim plugin not being set up
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