aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.clang-format42logplainabout
-rw-r--r--.gitignore32logplainabout
-rw-r--r--LICENSE34670logplainabout
-rw-r--r--README.md3805logplainabout
-rw-r--r--fenwick-blank.dfy2903logplainabout
d---------fenwick-go / src30logplain
-rw-r--r--fenwick-lemmas-proved.dfy5092logplainabout
-rw-r--r--fenwick-lemmas.dfy4782logplainabout
d---------fenwick-py186logplain
d---------fenwick-rust140logplain
-rw-r--r--fenwick.c1387logplainabout
-rw-r--r--fenwick.dfy20717logplainabout
-rw-r--r--fenwick.h226logplainabout
-rw-r--r--fenwickrurq.c1629logplainabout
-rw-r--r--fenwicktest.c3259logplainabout
-rw-r--r--fenwicktest.py464logplainabout
-rw-r--r--flake.lock567logplainabout
-rw-r--r--flake.nix1327logplainabout
-rwxr-xr-xmkmillion.py334logplainabout
-rw-r--r--sd-add.fish106logplainabout
-rwxr-xr-xsd-qt.py1529logplainabout
-rwxr-xr-xsd-tk.py1185logplainabout
-rw-r--r--sd.c2734logplainabout
-rw-r--r--sqlitevi.fish107logplainabout