summaryrefslogtreecommitdiff
ModeNameSize
d---------.github / workflows36logplain
-rw-r--r--.gitignore33logplain
-rw-r--r--CHANGES.md14189logplain
-rw-r--r--CONTRIBUTING.md2312logplain
-rw-r--r--LICENSE.md1126logplain
-rw-r--r--Makefile259logplain
-rw-r--r--README.org7176logplain
-rw-r--r--ROADMAP.md4410logplain
-rw-r--r--base.opam1123logplain
d---------compiler-stdlib / src30logplain
-rw-r--r--dune-project16logplain
d---------generate151logplain
d---------hash_types99logplain
d---------lint76logplain
d---------md5 / src30logplain
d---------shadow-stdlib60logplain
d---------src9190logplain
d---------test7393logplain