Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .envrc | 10 | logplain |
-rw-r--r-- | .gitignore | 93 | logplain |
-rw-r--r-- | .gitlab-ci.yml | 576 | logplain |
-rw-r--r-- | README.md | 68 | logplain |
-rw-r--r-- | Tasks.org | 8808 | logplain |
-rw-r--r-- | flake.lock | 2485 | logplain |
-rw-r--r-- | flake.nix | 1165 | logplain |
d--------- | nix | 168 | logplain |
-rw-r--r-- | rust-toolchain.toml | 31 | logplain |
d--------- | src | 372 | logplain |
d--------- | thesis | 347 | logplain |