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

• 7e63e0de68 slight style fix

2024-01-13 21:48:51 +01:00

rachel pushed to master at rachel/rachel.cafe

• a143888c37 badges

2024-01-13 21:41:42 +01:00

rachel pushed to master at rachel/rachel.cafe

• 98359e8481 oops

2024-01-13 00:22:16 +01:00

rachel pushed to master at rachel/rachel.cafe

• 8de5173d89 style fix

2024-01-13 00:19:59 +01:00

rachel pushed to master at rachel/rachel.cafe

• 1a2629f9e0 style changes

2024-01-13 00:03:30 +01:00

rachel pushed to master at rachel/nixos-config

• 1fe3095197 basic work on cafe
• 403cd67696 whalebird
• Compare 2 commits »

2024-01-03 17:29:24 +01:00

rachel pushed to master at rachel/nixos-config

• c7d050e3ad proper pipewire setup to utilize DAC

2023-12-29 17:26:55 +01:00

rachel pushed to master at rachel/nixos-config

• 4623a3d9a5 remove unused searx engine file

2023-12-29 15:05:41 +01:00

rachel pushed to master at rachel/nixos-config

• 03a63d681d tmux session restoration

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

rachel pushed to master at rachel/rachel.cafe

• fb5a8c3984 cd amssymb and amsmath

2023-12-24 22:58:00 +01:00

rachel pushed to master at rachel/rachel.cafe

• fe3df38118 update draft
• b06bc1bd1e add details plugin
• ab3784c531 add commutative diagram plugin
• Compare 3 commits »

2023-12-24 22:49:14 +01:00

rachel pushed to master at rachel/nixos-config

• e88216daa7 orgmode

2023-12-19 17:17:24 +01:00

rachel pushed to master at rachel/rachel.cafe

• bb73b3b75a change github username

2023-12-15 14:51:07 +01:00

rachel pushed to master at rachel/nixos-config

• 0e7550c489 solve hibernation issue
• adbd47160f no more bash completion
• Compare 2 commits »

2023-12-14 16:11:05 +01:00

rachel pushed to master at rachel/nixos-config

• db0a6ca79d rust lsp
• 4b3fdffd19 protonvpn
• Compare 2 commits »

2023-12-09 23:19:43 +01:00

rachel pushed to master at rachel/rachel.cafe

• 365e7e07af highlighting

2023-12-09 15:41:43 +01:00

rachel pushed to master at rachel/rachel.cafe

• dbe8d3307a readme fix

2023-12-09 15:20:51 +01:00

rachel pushed to master at rachel/rachel.cafe

• 5b0723ba31 switch to kramdown katex engine for markdown files

2023-12-09 15:05:46 +01:00

rachel pushed to master at rachel/rachel.cafe

• a9b9444fc9 nix building

2023-12-09 12:31:20 +01:00

rachel pushed to master at rachel/rachel.cafe

• 8831fb4f66 better width

2023-12-09 11:44:22 +01:00