aboutsummaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.build.yml401logstatsplainblame
d---------.direnv / bin30logstatsplain
-rw-r--r--.envrc10logstatsplainblame
-rw-r--r--.gitignore121logstatsplainblame
-rw-r--r--.ocamlformat0logstatsplainblame
-rw-r--r--LICENSE34493logstatsplainblame
-rw-r--r--README.org1282logstatsplainblame
d---------bin69logstatsplain
-rw-r--r--config-unix.sexp87logstatsplainblame
-rw-r--r--config.sexp192logstatsplainblame
d---------deps319logstatsplain
d---------docs452logstatsplain
-rw-r--r--dune-project761logstatsplainblame
-rw-r--r--flake.lock1950logstatsplainblame
-rw-r--r--flake.nix9124logstatsplainblame
d---------lib1274logstatsplain
d---------proof303logstatsplain
-rw-r--r--sakura.opam903logstatsplainblame
d---------shared / librelational_engine47logstatsplain
d---------sources45logstatsplain
d---------test85logstatsplain
-rw-r--r--todos.pl726logstatsplainblame