Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .envrc | 10 | logplain |
-rw-r--r-- | .gitignore | 93 | logplain |
-rw-r--r-- | Justfile | 256 | logplain |
-rw-r--r-- | README.md | 68 | logplain |
-rw-r--r-- | Tasks.org | 7331 | logplain |
-rw-r--r-- | flake.lock | 2485 | logplain |
-rw-r--r-- | flake.nix | 2936 | logplain |
-rw-r--r-- | racket-env.nix | 19053 | logplain |
-rw-r--r-- | rust-toolchain.toml | 31 | logplain |
d--------- | src | 372 | logplain |
d--------- | thesis | 311 | logplain |