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 | 1295 | logplain |
-rw-r--r-- | Tasks.org | 142 | logplain |
d--------- | analysis | 223 | logplain |
-rw-r--r-- | flake.lock | 2485 | logplain |
-rw-r--r-- | flake.nix | 1338 | logplain |
d--------- | nix | 214 | logplain |
-rw-r--r-- | rust-toolchain.toml | 31 | logplain |
d--------- | src | 372 | logplain |
d--------- | thesis | 462 | logplain |