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/rachel.cafe

• b102da7874 remove some projects I am not too proud of

2023-12-08 22:44:43 +01:00

rachel pushed to master at rachel/rachel.cafe

• 606147b354 redesign website

2023-12-08 22:10:07 +01:00

rachel pushed to master at rachel/rachel.cafe

• 71544a1564 update work page

2023-12-08 19:23:03 +01:00

rachel pushed to master at rachel/nixos-config

• 98070e11a6 gpg agent in home manager

2023-12-01 22:45:12 +01:00

rachel pushed to master at rachel/nixos-config

• 4f8f4f9498 languagetool
• f352a1e05f nixd
• cb63c50f0e typst vim support
• c9325634e6 rzk
• Compare 4 commits »

2023-12-01 21:06:17 +01:00

rachel pushed to master at rachel/nixos-config

• 08b393988f fix cornelis being weird

2023-12-01 19:48:10 +01:00

rachel pushed to master at rachel/nixos-config

• 9d357cd250 fix softraid

2023-12-01 19:14:50 +01:00

rachel pushed to master at rachel/nixos-config

• c2d5f81e30 add US locale

2023-12-01 19:13:53 +01:00

rachel pushed to master at rachel/nixos-config

• 55d22acb4f switch to 23.11

2023-12-01 18:16:25 +01:00

rachel pushed to master at rachel/nixos-config

• 50e223e130 add numb.nvim and vimv
• 4064a68484 prism
• Compare 2 commits »

2023-11-27 20:56:34 +01:00

rachel pushed to master at rachel/nixos-config

• ebaaabc90b rofi color scheme
• 9042ed10af sax2 nerdfont
• Compare 2 commits »

2023-11-18 23:31:00 +01:00

rachel pushed to master at rachel/nixos-config

• 78bdf0a511 refactor out common options

2023-11-18 11:29:53 +01:00

rachel pushed to master at rachel/nixos-config

• dcba96d085 nix registry

2023-11-17 14:06:34 +01:00

rachel pushed to master at rachel/nixos-config

• 2a513b5ba0 nvim text conveniences

2023-11-14 23:08:44 +01:00

rachel pushed to master at rachel/nixos-config

• f536566a01 nvim surround

2023-11-11 22:31:16 +01:00

rachel pushed to master at rachel/nixos-config

• 93d8144c50 idris tooling
• 17212228f8 move sax2 into seperate file
• Compare 2 commits »

2023-11-11 22:19:07 +01:00

rachel pushed to master at rachel/nixos-config

2023-11-11 11:17:58 +01:00

rachel pushed to master at rachel/nixos-config

• 66fa92fb63 neovim typst

2023-11-11 11:15:47 +01:00

rachel pushed to master at rachel/nixos-config

• 10130114cd clean some packages and add ttyper

2023-11-11 00:05:24 +01:00

rachel pushed to master at rachel/nixos-config

• 15258be96f typst

2023-11-10 14:44:09 +01:00