Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .clang-format | 42 | logplainabout |
-rw-r--r-- | .gitignore | 32 | logplainabout |
-rw-r--r-- | LICENSE | 34670 | logplainabout |
-rw-r--r-- | README.md | 3805 | logplainabout |
-rw-r--r-- | fenwick-blank.dfy | 2903 | logplainabout |
d--------- | fenwick-go / src | 30 | logplain |
-rw-r--r-- | fenwick-lemmas-proved.dfy | 5092 | logplainabout |
-rw-r--r-- | fenwick-lemmas.dfy | 4782 | logplainabout |
d--------- | fenwick-py | 186 | logplain |
d--------- | fenwick-rust | 140 | logplain |
-rw-r--r-- | fenwick.c | 1387 | logplainabout |
-rw-r--r-- | fenwick.dfy | 20717 | logplainabout |
-rw-r--r-- | fenwick.h | 226 | logplainabout |
-rw-r--r-- | fenwickrurq.c | 1629 | logplainabout |
-rw-r--r-- | fenwicktest.c | 3259 | logplainabout |
-rw-r--r-- | fenwicktest.py | 464 | logplainabout |
-rw-r--r-- | flake.lock | 567 | logplainabout |
-rw-r--r-- | flake.nix | 1327 | logplainabout |
-rwxr-xr-x | mkmillion.py | 334 | logplainabout |
-rw-r--r-- | sd-add.fish | 106 | logplainabout |
-rwxr-xr-x | sd-qt.py | 1529 | logplainabout |
-rwxr-xr-x | sd-tk.py | 1185 | logplainabout |
-rw-r--r-- | sd.c | 2734 | logplainabout |
-rw-r--r-- | sqlitevi.fish | 107 | logplainabout |