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-server 2024-05-24 22:30:12 +02:00
3f21fc215d networking stuff
rachel pushed to master at rachel/nixos-server 2024-05-24 11:13:44 +02:00
b4533a3def nice
rachel pushed to master at rachel/nixos-server 2024-05-23 12:08:15 +02:00
edba60c4ec abstraction :)
c95b924af7 admin pass
Compare 2 commits »
rachel pushed to master at rachel/nixos-server 2024-05-23 11:02:10 +02:00
5e6f7e5bc7 secrets
018dcd5ef6 Add 1 git-crypt collaborator
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2024-05-23 10:51:36 +02:00
259c7dc997 remove server config from repo
rachel pushed to master at rachel/nixos-config 2024-05-22 21:30:33 +02:00
5096001fcf medly
rachel pushed to master at rachel/nixos-config 2024-05-22 18:19:28 +02:00
8fd99939c0 port
rachel pushed to master at rachel/kino 2024-05-22 13:54:30 +02:00
9c59c07224 mjau
rachel pushed to master at rachel/nixos-config 2024-05-22 12:55:18 +02:00
f2861e7342 ssh mjau
rachel pushed to master at rachel/nixos-config 2024-05-19 11:55:42 +02:00
3cab3de672 secret management fix
rachel pushed to master at rachel/nixos-config 2024-05-19 11:43:04 +02:00
554f5c20af git crypted config
rachel pushed to master at rachel/nixos-config 2024-05-19 11:41:25 +02:00
a984ec4efb git-crypt test
3d6e1c7bba Add 1 git-crypt collaborator
57604c28cc renoise
Compare 3 commits »
rachel pushed to master at rachel/nixos-config 2024-05-19 11:00:23 +02:00
e432f33c9a secrets template
2b1870743f gitignore
0983ba366c oops
82c9d361a0 zelda
Compare 4 commits »
rachel pushed to master at rachel/nixos-config 2024-04-19 15:24:09 +02:00
e51088400f add unstable packages
5b15769ad5 ocamllsp
1de7b6e5b9 update lock
0ac0bec82e formatting
b617893d5b clangd
Compare 7 commits »
rachel pushed to berry at rachel/nixos-config 2024-04-17 15:41:11 +02:00
200907c6c4 ocamllsp
rachel pushed to berry at rachel/nixos-config 2024-04-11 13:26:42 +02:00
980952738f update lock
rachel pushed to berry at rachel/nixos-config 2024-04-09 18:44:14 +02:00
a5bbcb163c formatting
rachel pushed to main at xenchel/templates 2024-04-08 21:06:25 +02:00
1410e50aa3 mjau
rachel pushed to main at xenchel/templates 2024-04-08 21:04:28 +02:00
8be71c6d1c ocaml template
rachel pushed to berry at rachel/nixos-config 2024-03-28 16:22:05 +01:00
8200fc8758 berryc close
b4177e3dee clangd
Compare 2 commits »