summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore262logplainblame
-rw-r--r--CLAUDE.md9650logplainblame
-rw-r--r--LICENSE34523logplainblame
-rw-r--r--README.md681logplainblame
d---------bin67logplain
-rw-r--r--colitur.opam459logplainblame
-rw-r--r--dune-project252logplainblame
d---------lib65logplain
d---------test588logplain