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 2024-03-13 23:33:37 +01:00
042af47d5f c template using meson
rachel pushed to berry at rachel/nixos-config 2024-03-12 14:56:34 +01:00
8eb7008aeb no error on no windows
rachel pushed to berry at rachel/nixos-config 2024-03-12 14:52:44 +01:00
c4b963cd7e empty workspace fix
rachel pushed to berry at rachel/nixos-config 2024-03-12 14:44:09 +01:00
9ddd8edd1f list windows
rachel pushed to berry at rachel/nixos-config 2024-03-12 12:41:54 +01:00
de8855153e bluetooth
rachel pushed to berry at rachel/nixos-config 2024-03-12 12:22:50 +01:00
dccfcaca64 gnome keyring
rachel pushed to berry at rachel/nixos-config 2024-03-12 12:20:53 +01:00
f809873243 xsession
rachel pushed to berry at rachel/nixos-config 2024-03-12 11:59:35 +01:00
02d29fb799 battery warning
0da2b3060f mjau
Compare 2 commits »
rachel created branch berry in rachel/nixos-config 2024-03-09 20:29:31 +01:00
rachel pushed to berry at rachel/nixos-config 2024-03-09 20:29:31 +01:00
183490c955 initial berry testing
rachel pushed to master at rachel/nixos-config 2024-03-05 20:44:34 +01:00
081d5068c2 slippi netplay
rachel pushed to master at rachel/nixos-config 2024-03-05 20:43:27 +01:00
924d7b21e0 bqn, ! fix for neovim
rachel pushed to main at xenchel/templates 2024-03-05 19:10:04 +01:00
a27820eb99 doh
rachel pushed to main at xenchel/templates 2024-03-05 17:19:24 +01:00
11ed112837 julia devshell
rachel pushed to main at xenchel/templates 2024-03-05 16:54:52 +01:00
ca26aaf782 idris2 template
rachel pushed to main at xenchel/templates 2024-03-05 16:52:51 +01:00
c81a4a68ff idris2 template
rachel pushed to master at rachel/nixos-config 2024-02-14 11:24:29 +01:00
b335ad3dab docker perms
rachel pushed to master at rachel/nixos-config 2024-02-11 17:01:43 +01:00
024845ceac new rootdisk
rachel pushed to master at rachel/nixos-config 2024-02-10 14:51:50 +01:00
965fa89ab9 cornelis update
rachel pushed to master at rachel/nixos-config 2024-02-10 14:44:29 +01:00
bfd300de9e updated nixpkgs