aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.envrc10logplain
-rw-r--r--.gitignore53logplain
-rw-r--r--.gitlab-ci.yml899logplain
-rw-r--r--README.md643logplain
-rw-r--r--flake.lock564logplain
-rw-r--r--flake.nix927logplain
d---------rnv120logplain
-rw-r--r--shape.tex1552logplain
-rw-r--r--shapes.tex3121logplain
d---------vag_freiburg40logplain