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

46

Projects Packages Public Activity Starred Repositories

Loading Heatmap…

rachel pushed to berry at rachel/nixos-config

• 02d29fb799 battery warning
• 0da2b3060f mjau
• Compare 2 commits »

2024-03-12 11:59:35 +01:00

rachel created branch berry in rachel/nixos-config

2024-03-09 20:29:31 +01:00

rachel pushed to berry at rachel/nixos-config

• 183490c955 initial berry testing

2024-03-09 20:29:31 +01:00

rachel pushed to master at rachel/nixos-config

• 081d5068c2 slippi netplay

2024-03-05 20:44:34 +01:00

rachel pushed to master at rachel/nixos-config

• 924d7b21e0 bqn, ! fix for neovim

2024-03-05 20:43:27 +01:00

rachel pushed to main at xenchel/templates

• a27820eb99 doh

2024-03-05 19:10:04 +01:00

rachel pushed to main at xenchel/templates

• 11ed112837 julia devshell

2024-03-05 17:19:24 +01:00

rachel pushed to main at xenchel/templates

• ca26aaf782 idris2 template

2024-03-05 16:54:52 +01:00

rachel pushed to main at xenchel/templates

• c81a4a68ff idris2 template

2024-03-05 16:52:51 +01:00

rachel pushed to master at rachel/nixos-config

• b335ad3dab docker perms

2024-02-14 11:24:29 +01:00

rachel pushed to master at rachel/nixos-config

• 024845ceac new rootdisk

2024-02-11 17:01:43 +01:00

rachel pushed to master at rachel/nixos-config

• 965fa89ab9 cornelis update

2024-02-10 14:51:50 +01:00

rachel pushed to master at rachel/nixos-config

• bfd300de9e updated nixpkgs

2024-02-10 14:44:29 +01:00

rachel pushed to master at rachel/nixos-config

• 12e5647212 docker

2024-02-02 19:20:40 +01:00

rachel pushed to master at rachel/nixos-config

• 3e17efb7ca change language of ltex

2024-01-24 20:46:56 +01:00

rachel pushed to master at rachel/nixos-config

• de7f2f7190 mjau

2024-01-23 20:32:54 +01:00

rachel pushed to master at rachel/nixos-config

• 4d191d9a30 lean

2024-01-20 20:43:49 +01:00

rachel pushed to master at rachel/rachel.cafe

• b01d01e7b5 fix navbar

2024-01-14 21:07:47 +01:00

rachel pushed to master at rachel/rachel.cafe

• 1cd0ba98e3 title fixes

2024-01-14 21:07:04 +01:00

rachel pushed to master at rachel/rachel.cafe

• e87f7f0941 loads of images

2024-01-14 21:05:59 +01:00