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-29 15:05:41 +01:00
4623a3d9a5 remove unused searx engine file
rachel pushed to master at rachel/nixos-config 2023-12-25 16:42:42 +01:00
03a63d681d tmux session restoration
rachel pushed to master at rachel/rachel.cafe 2023-12-24 22:58:00 +01:00
fb5a8c3984 cd amssymb and amsmath
rachel pushed to master at rachel/rachel.cafe 2023-12-24 22:49:14 +01:00
fe3df38118 update draft
b06bc1bd1e add details plugin
ab3784c531 add commutative diagram plugin
Compare 3 commits »
rachel pushed to master at rachel/nixos-config 2023-12-19 17:17:24 +01:00
e88216daa7 orgmode
rachel pushed to master at rachel/rachel.cafe 2023-12-15 14:51:07 +01:00
bb73b3b75a change github username
rachel pushed to master at rachel/nixos-config 2023-12-14 16:11:05 +01:00
0e7550c489 solve hibernation issue
adbd47160f no more bash completion
Compare 2 commits »
rachel pushed to master at rachel/nixos-config 2023-12-09 23:19:43 +01:00
db0a6ca79d rust lsp
4b3fdffd19 protonvpn
Compare 2 commits »
rachel pushed to master at rachel/rachel.cafe 2023-12-09 15:41:43 +01:00
365e7e07af highlighting
rachel pushed to master at rachel/rachel.cafe 2023-12-09 15:20:51 +01:00
dbe8d3307a readme fix
rachel pushed to master at rachel/rachel.cafe 2023-12-09 15:05:46 +01:00
5b0723ba31 switch to kramdown katex engine for markdown files
rachel pushed to master at rachel/rachel.cafe 2023-12-09 12:31:20 +01:00
a9b9444fc9 nix building
rachel pushed to master at rachel/rachel.cafe 2023-12-09 11:44:22 +01:00
8831fb4f66 better width
rachel pushed to master at rachel/rachel.cafe 2023-12-08 22:44:43 +01:00
b102da7874 remove some projects I am not too proud of
rachel pushed to master at rachel/rachel.cafe 2023-12-08 22:10:07 +01:00
606147b354 redesign website
rachel pushed to master at rachel/rachel.cafe 2023-12-08 19:23:03 +01:00
71544a1564 update work page
rachel pushed to master at rachel/nixos-config 2023-12-01 22:45:12 +01:00
98070e11a6 gpg agent in home manager
rachel pushed to master at rachel/nixos-config 2023-12-01 21:06:17 +01:00
4f8f4f9498 languagetool
f352a1e05f nixd
cb63c50f0e typst vim support
c9325634e6 rzk
Compare 4 commits »
rachel pushed to master at rachel/nixos-config 2023-12-01 19:48:10 +01:00
08b393988f fix cornelis being weird
rachel pushed to master at rachel/nixos-config 2023-12-01 19:14:50 +01:00
9d357cd250 fix softraid