the sources for my website https://rachel.cafe
Go to file
2023-12-09 11:44:14 +01:00
_archive archived some pages, edited SECD page a little bit 2022-12-09 20:14:17 +01:00
_drafts update draft 2023-09-15 00:04:03 +02:00
_includes add all my posts 2022-01-27 19:44:11 +01:00
_layouts redesign website 2023-12-08 22:09:59 +01:00
_posts fix why-be-pure python code 2023-08-12 20:17:32 +02:00
agda move /misc to /agda, add KUIP and UIPK 2022-06-30 18:53:55 +02:00
assets better width 2023-12-09 11:44:14 +01:00
_config.yml fix flake 2023-08-02 17:04:41 +02:00
.gitignore fix undo-tree 2023-08-12 20:14:53 +02:00
about.html redesign website 2023-12-08 22:09:59 +01:00
favicon.ico add favicon 2023-01-28 14:26:41 +01:00
flake.lock redesign website 2023-12-08 22:09:59 +01:00
flake.nix redesign website 2023-12-08 22:09:59 +01:00
index.html redesign website 2023-12-08 22:09:59 +01:00
LICENSE switch to using 'monospace' rather than firacode. self host katex 2022-04-01 19:51:48 +02:00
readme.md add drafts 2023-04-16 19:02:34 +02:00
shell.nix redesign website 2023-12-08 22:09:59 +01:00
work.html remove some projects I am not too proud of 2023-12-08 22:44:36 +01:00

rachel.cafe

sources for rachel.cafe. built using jekyll (without a theme).

Depends

  • jekyll
  • jekyll-feed
  • jekyll-katex (needs katex)
  • jekyll-agda (needs agda)
  • jekyll-minifier

Aknowlegdements

This repository contains katex code for self hosting katex. This code is used under the MIT LICENSE (for details, read the LICENSE file).