aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.envrc61logplain
d---------.githooks38logplain
-rw-r--r--.gitignore272logplain
-rw-r--r--.ocamlformat74logplain
-rw-r--r--LICENSE34523logplain
-rw-r--r--README.md2222logplain
d---------bin67logplain
-rw-r--r--dune-project549logplain
-rw-r--r--fixgen.opam752logplain
-rw-r--r--flake.lock5064logplain
-rw-r--r--flake.nix1959logplain
d---------http79logplain
d---------lib185logplain
d---------scripts130logplain
d---------test74logplain