Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .envrc | 10 | logplain |
-rw-r--r-- | .gitignore | 93 | logplain |
-rw-r--r-- | .gitlab-ci.yml | 1206 | logplain |
-rw-r--r-- | README.md | 68 | logplain |
-rw-r--r-- | Tasks.org | 9342 | logplain |
d--------- | analysis | 186 | logplain |
-rw-r--r-- | flake.lock | 2485 | logplain |
-rw-r--r-- | flake.nix | 1219 | logplain |
d--------- | nix | 168 | logplain |
-rw-r--r-- | rust-toolchain.toml | 31 | logplain |
d--------- | src | 372 | logplain |
d--------- | thesis | 425 | logplain |