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
21
 Projects Packages Public Activity Starred Repositories
rachel pushed to master at rachel/nixos-config 2023-12-01 19:13:53 +01:00
c2d5f81e30 add US locale
rachel pushed to master at rachel/nixos-config 2023-12-01 18:16:25 +01:00
55d22acb4f switch to 23.11
rachel pushed to master at rachel/nixos-config 2023-11-27 20:56:34 +01:00
50e223e130 add numb.nvim and vimv
4064a68484 prism
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-11-18 23:31:00 +01:00
ebaaabc90b rofi color scheme
9042ed10af sax2 nerdfont
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-11-18 11:29:53 +01:00
78bdf0a511 refactor out common options
rachel pushed to master at rachel/nixos-config 2023-11-17 14:06:34 +01:00
dcba96d085 nix registry
rachel pushed to master at rachel/nixos-config 2023-11-14 23:08:44 +01:00
2a513b5ba0 nvim text conveniences
rachel pushed to master at rachel/nixos-config 2023-11-11 22:31:16 +01:00
f536566a01 nvim surround
rachel pushed to master at rachel/nixos-config 2023-11-11 22:19:07 +01:00
93d8144c50 idris tooling
17212228f8 move sax2 into seperate file
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-11-11 11:17:58 +01:00
rachel pushed to master at rachel/nixos-config 2023-11-11 11:15:47 +01:00
66fa92fb63 neovim typst
rachel pushed to master at rachel/nixos-config 2023-11-11 00:05:24 +01:00
10130114cd clean some packages and add ttyper
rachel pushed to master at rachel/nixos-config 2023-11-10 14:44:09 +01:00
15258be96f typst
rachel pushed to master at rachel/nixos-config 2023-11-06 16:15:40 +01:00
6fd02373e5 big math
rachel pushed to master at rachel/nixos-config 2023-11-06 16:11:33 +01:00
9ce15b7fae more calculators
53060541d5 fix caret on fox layout
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-11-05 16:23:02 +01:00
3b09828517 fox cope for ansi keyboards
rachel pushed to master at rachel/nixos-config 2023-11-05 10:36:13 +01:00
b6c39a01a3 vim ergonomics
rachel pushed to master at rachel/nixos-config 2023-11-04 10:59:29 +01:00
1262b1df2b rebind agda mode prefix
rachel pushed to master at rachel/nixos-config 2023-11-02 13:00:32 +01:00
fef6cbb1ef ctrl:nocaps
3df03e9835 console xkb config
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-10-28 11:21:11 +02:00
aa3e35c1ed new router just dropped