Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 17 | logplain |
d--------- | 1174 | 73 | logplain |
d--------- | 1177 | 73 | logplain |
-rw-r--r-- | Justfile | 841 | logplain |
d--------- | order4 / criterion | 36 | logplain |
-rwxr-xr-x | split-log.py | 671 | logplain |
-rw-r--r-- | vis.livemd | 7778 | logplain |