aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore48logplain
-rw-r--r--.ocamlformat227logplain
d---------bin71logplain
-rwxr-xr-xdune-project545logplain
d---------examples175logplain
d---------lib385logplain
-rw-r--r--readme.rst19464logplain
d---------tests836logplain