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 master at rachel/nixos-config

• e51088400f add unstable packages
• 5b15769ad5 ocamllsp
• 1de7b6e5b9 update lock
• 0ac0bec82e formatting
• b617893d5b clangd
• Compare 7 commits »

2024-04-19 15:24:09 +02:00

rachel pushed to berry at rachel/nixos-config

• 200907c6c4 ocamllsp

2024-04-17 15:41:11 +02:00

rachel pushed to berry at rachel/nixos-config

• 980952738f update lock

2024-04-11 13:26:42 +02:00

rachel pushed to berry at rachel/nixos-config

• a5bbcb163c formatting

2024-04-09 18:44:14 +02:00

rachel pushed to main at xenchel/templates

• 1410e50aa3 mjau

2024-04-08 21:06:25 +02:00

rachel pushed to main at xenchel/templates

• 8be71c6d1c ocaml template

2024-04-08 21:04:28 +02:00

rachel pushed to berry at rachel/nixos-config

• 8200fc8758 berryc close
• b4177e3dee clangd
• Compare 2 commits »

2024-03-28 16:22:05 +01:00

rachel pushed to berry at rachel/nixos-config

• 2d114632c2 mjau

2024-03-18 16:00:07 +01:00

rachel pushed to berry at rachel/nixos-config

• ed1b7dc0a5 oops

2024-03-16 16:19:01 +01:00

rachel pushed to berry at rachel/nixos-config

• 3727fc359b typo

2024-03-15 12:00:11 +01:00

rachel pushed to berry at rachel/nixos-config

• 9cfe373129 [le/lt]

2024-03-14 16:35:44 +01:00

rachel pushed to berry at rachel/nixos-config

• f6905d27e8 lualine

2024-03-14 15:03:35 +01:00

rachel pushed to main at xenchel/templates

• 8d260e8e01 c2x

2024-03-13 23:39:26 +01:00

rachel pushed to main at xenchel/templates

• 042af47d5f c template using meson

2024-03-13 23:33:37 +01:00

rachel pushed to berry at rachel/nixos-config

• 8eb7008aeb no error on no windows

2024-03-12 14:56:34 +01:00

rachel pushed to berry at rachel/nixos-config

• c4b963cd7e empty workspace fix

2024-03-12 14:52:44 +01:00

rachel pushed to berry at rachel/nixos-config

• 9ddd8edd1f list windows

2024-03-12 14:44:09 +01:00

rachel pushed to berry at rachel/nixos-config

• de8855153e bluetooth

2024-03-12 12:41:54 +01:00

rachel pushed to berry at rachel/nixos-config

• dccfcaca64 gnome keyring

2024-03-12 12:22:50 +01:00

rachel pushed to berry at rachel/nixos-config

• f809873243 xsession

2024-03-12 12:20:53 +01:00