aboutsummaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.build.yml401logstatsplainblame
d---------.direnv / bin30logstatsplain
-rw-r--r--.envrc10logstatsplainblame
-rw-r--r--.gitignore120logstatsplainblame
-rw-r--r--.ocamlformat0logstatsplainblame
-rw-r--r--LICENSE34493logstatsplainblame
-rw-r--r--README.org1282logstatsplainblame
d---------bin104logstatsplain
d---------deps319logstatsplain
d---------docs452logstatsplain
-rw-r--r--dune-project538logstatsplainblame
-rw-r--r--flake.lock1950logstatsplainblame
-rw-r--r--flake.nix11016logstatsplainblame
d---------lib1202logstatsplain
d---------proof303logstatsplain
-rw-r--r--sakura.opam701logstatsplainblame
d---------shared / librelational_engine47logstatsplain
d---------sources45logstatsplain
d---------test85logstatsplain
-rw-r--r--todos.pl726logstatsplainblame