aboutsummaryrefslogtreecommitdiff
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---------lib / kernel33logplain
d---------test192logplain