aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore48logplain
-rw-r--r--.ocamlformat227logplain
d---------bin71logplain
-rwxr-xr-xdune-project511logplain
d---------examples211logplain
d---------lib388logplain
-rw-r--r--readme.rst20151logplain
d---------tests855logplain