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

• 6fd02373e5 big math

2023-11-06 16:15:40 +01:00

rachel pushed to master at rachel/nixos-config

• 9ce15b7fae more calculators
• 53060541d5 fix caret on fox layout
• Compare 2 commits »

2023-11-06 16:11:33 +01:00

rachel pushed to master at rachel/nixos-config

• 3b09828517 fox cope for ansi keyboards

2023-11-05 16:23:02 +01:00

rachel pushed to master at rachel/nixos-config

• b6c39a01a3 vim ergonomics

2023-11-05 10:36:13 +01:00

rachel pushed to master at rachel/nixos-config

• 1262b1df2b rebind agda mode prefix

2023-11-04 10:59:29 +01:00

rachel pushed to master at rachel/nixos-config

• fef6cbb1ef ctrl:nocaps
• 3df03e9835 console xkb config
• Compare 2 commits »

2023-11-02 13:00:32 +01:00

rachel pushed to master at rachel/nixos-config

• aa3e35c1ed new router just dropped

2023-10-28 11:21:11 +02:00

rachel pushed to master at rachel/nixos-config

• 6766b35e91 xkb config in console

2023-10-28 11:16:55 +02:00

rachel pushed to master at rachel/nixos-config

• c6f1988ae1 normal modifiers in fox layout

2023-10-27 23:46:14 +02:00

rachel pushed to master at rachel/nixos-config

• 78a50f078d give in to xenias demands

2023-10-27 23:33:03 +02:00

rachel pushed to master at rachel/nixos-config

• 0e499fbd4d add layout

2023-10-27 21:56:14 +02:00

rachel pushed to master at rachel/rachel.cafe

• 1a69acd985 not using emacs anymore

2023-10-27 20:35:23 +02:00

rachel pushed to master at rachel/nixos-config

• 1378da5cab zulip

2023-10-24 20:06:22 +02:00

rachel pushed to master at rachel/nixos-config

• 62470e7c3e switch default layout

2023-10-19 21:12:35 +02:00

rachel pushed to master at rachel/nixos-config

• a9aa84b9d1 add voidkeys

2023-10-19 13:32:43 +02:00

rachel pushed to master at rachel/nixos-config

• 2364ec5a90 remove alt caps toggle
• df695d7188 fix tabs
• Compare 2 commits »

2023-10-19 01:02:38 +02:00

rachel pushed to master at rachel/nixos-config

• 1b3880eb6a add fox layout

2023-10-19 00:59:46 +02:00

rachel pushed to master at rachel/nixos-config

• 646ab704ed add fox layout

2023-10-19 00:58:46 +02:00

rachel pushed to master at rachel/nixos-config

• 28df83dbd6 add fox layout

2023-10-19 00:55:49 +02:00

rachel pushed to master at rachel/nixos-config

• 707e3a3738 add swedish us layout
• 9438e80797 fix ssh
• c71ab8ea85 openssh
• 30ab66549f lsp fixes
• e54fe9162c direnv
• Compare 5 commits »

2023-10-18 23:26:30 +02:00