[{"title":"( 99 个子文件 56KB ) TSD-源码","children":[{"title":"TSD-master","children":[{"title":"ppx","children":[{"title":"tsd_trans.ml <span style='color:#111;'> 5.26KB </span>","children":null,"spread":false},{"title":"tsd_ext.ml <span style='color:#111;'> 1.04KB </span>","children":null,"spread":false}],"spread":true},{"title":"opam","children":[{"title":"opam <span style='color:#111;'> 873B </span>","children":null,"spread":false},{"title":"findlib <span style='color:#111;'> 4B </span>","children":null,"spread":false},{"title":"descr <span style='color:#111;'> 73B </span>","children":null,"spread":false}],"spread":true},{"title":"_oasis <span style='color:#111;'> 1.70KB </span>","children":null,"spread":false},{"title":"benchmarks","children":[{"title":"light_control","children":[{"title":"light_control.ml <span style='color:#111;'> 865B </span>","children":null,"spread":false},{"title":"zelus","children":[{"title":"light_control.zls <span style='color:#111;'> 296B </span>","children":null,"spread":false},{"title":"light_control_main.ml <span style='color:#111;'> 178B </span>","children":null,"spread":false}],"spread":true},{"title":"args.csv <span style='color:#111;'> 24B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"light_control.rml <span style='color:#111;'> 901B </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"pendulum","children":[{"title":"pendulum.ml <span style='color:#111;'> 1.23KB </span>","children":null,"spread":false},{"title":"zelus","children":[{"title":"pendulum_main.ml <span style='color:#111;'> 168B </span>","children":null,"spread":false},{"title":"pendulum.zls <span style='color:#111;'> 935B </span>","children":null,"spread":false}],"spread":true},{"title":"args.csv <span style='color:#111;'> 24B </span>","children":null,"spread":false}],"spread":true},{"title":"field","children":[{"title":"args.csv <span style='color:#111;'> 35B </span>","children":null,"spread":false},{"title":"incjs","children":[{"title":"field.ml <span style='color:#111;'> 629B </span>","children":null,"spread":false}],"spread":true},{"title":"field.ml <span style='color:#111;'> 538B </span>","children":null,"spread":false}],"spread":true},{"title":"cellular_automata","children":[{"title":"cellular_automata.ml <span style='color:#111;'> 1.23KB </span>","children":null,"spread":false},{"title":"args.csv <span style='color:#111;'> 27B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"cellular_automata.rml <span style='color:#111;'> 2.39KB </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"iir","children":[{"title":"iir.ml <span style='color:#111;'> 907B </span>","children":null,"spread":false},{"title":"args.csv <span style='color:#111;'> 45B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"iir.rml <span style='color:#111;'> 1.51KB </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"fold_max","children":[{"title":"args.csv <span style='color:#111;'> 15B </span>","children":null,"spread":false},{"title":"fold_max.ml <span style='color:#111;'> 581B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"fold_max.rml <span style='color:#111;'> 763B </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"fold_sum","children":[{"title":"fold_sum.ml <span style='color:#111;'> 572B </span>","children":null,"spread":false},{"title":"args.csv <span style='color:#111;'> 15B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"fold_sum.rml <span style='color:#111;'> 782B </span>","children":null,"spread":false}],"spread":false}],"spread":true},{"title":"result <span style='color:#111;'> 2.98KB </span>","children":null,"spread":false},{"title":"fold_max_2","children":[{"title":"args.csv <span style='color:#111;'> 15B </span>","children":null,"spread":false},{"title":"fold_max_2.ml <span style='color:#111;'> 576B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"fold_max_2.rml <span style='color:#111;'> 763B </span>","children":null,"spread":false}],"spread":false}],"spread":true},{"title":"fir","children":[{"title":"args.csv <span style='color:#111;'> 33B </span>","children":null,"spread":false},{"title":"fir.ml <span style='color:#111;'> 672B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"fir.rml <span style='color:#111;'> 1.06KB </span>","children":null,"spread":false}],"spread":false}],"spread":false},{"title":"tree","children":[{"title":"args.csv <span style='color:#111;'> 50B </span>","children":null,"spread":false},{"title":"incjs","children":[{"title":"tree.ml <span style='color:#111;'> 986B </span>","children":null,"spread":false}],"spread":false},{"title":"tree.ml <span style='color:#111;'> 889B </span>","children":null,"spread":false}],"spread":false},{"title":"planets","children":[{"title":"planets.ml <span style='color:#111;'> 2.95KB </span>","children":null,"spread":false},{"title":"args.csv <span style='color:#111;'> 27B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"planets.rml <span style='color:#111;'> 3.93KB </span>","children":null,"spread":false}],"spread":false}],"spread":false},{"title":"chain","children":[{"title":"chain.ml <span style='color:#111;'> 325B </span>","children":null,"spread":false},{"title":"args.csv <span style='color:#111;'> 35B </span>","children":null,"spread":false},{"title":"incjs","children":[{"title":"chain.ml <span style='color:#111;'> 344B </span>","children":null,"spread":false}],"spread":false}],"spread":false},{"title":"heater","children":[{"title":"zelus","children":[{"title":"heater_main.ml <span style='color:#111;'> 164B </span>","children":null,"spread":false},{"title":"heater.zls <span style='color:#111;'> 2.39KB </span>","children":null,"spread":false}],"spread":false},{"title":"heater.ml <span style='color:#111;'> 2.33KB </span>","children":null,"spread":false},{"title":"args.csv <span style='color:#111;'> 21B </span>","children":null,"spread":false}],"spread":false},{"title":"Makefile <span style='color:#111;'> 3.37KB </span>","children":null,"spread":false},{"title":"fold_sum_2","children":[{"title":"args.csv <span style='color:#111;'> 15B </span>","children":null,"spread":false},{"title":"fold_sum_2.ml <span style='color:#111;'> 567B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"fold_sum_2.rml <span style='color:#111;'> 782B </span>","children":null,"spread":false}],"spread":false}],"spread":false},{"title":"page_rank","children":[{"title":"args.csv <span style='color:#111;'> 24B </span>","children":null,"spread":false},{"title":"page_rank.ml <span style='color:#111;'> 1.14KB </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"page_rank.rml <span style='color:#111;'> 1.52KB </span>","children":null,"spread":false}],"spread":false}],"spread":false},{"title":"map_ex","children":[{"title":"map_ex.ml <span style='color:#111;'> 575B </span>","children":null,"spread":false},{"title":"args.csv <span style='color:#111;'> 18B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"map_ex.rml <span style='color:#111;'> 766B </span>","children":null,"spread":false}],"spread":false}],"spread":false},{"title":"alt_sum","children":[{"title":"zelus","children":[{"title":"alt_sum.zls <span style='color:#111;'> 265B </span>","children":null,"spread":false},{"title":"alt_sum_main.ml <span style='color:#111;'> 166B </span>","children":null,"spread":false}],"spread":false},{"title":"args.csv <span style='color:#111;'> 24B </span>","children":null,"spread":false},{"title":"alt_sum.ml <span style='color:#111;'> 400B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"alt_sum.rml <span style='color:#111;'> 480B </span>","children":null,"spread":false}],"spread":false}],"spread":false}],"spread":false},{"title":"src","children":[{"title":"tsd_inc.mli <span style='color:#111;'> 638B </span>","children":null,"spread":false},{"title":"heteroset.mli <span style='color:#111;'> 202B </span>","children":null,"spread":false},{"title":"heteroset.ml <span style='color:#111;'> 621B </span>","children":null,"spread":false},{"title":"tsd.ml <span style='color:#111;'> 1.89KB </span>","children":null,"spread":false},{"title":"tsd.mli <span style='color:#111;'> 639B </span>","children":null,"spread":false},{"title":"tsd_inc.ml <span style='color:#111;'> 3.53KB </span>","children":null,"spread":false}],"spread":true},{"title":"tsd.install <span style='color:#111;'> 51B </span>","children":null,"spread":false},{"title":"examples","children":[{"title":"auto_switch.ml <span style='color:#111;'> 953B </span>","children":null,"spread":false},{"title":"planets.ml <span style='color:#111;'> 2.87KB </span>","children":null,"spread":false},{"title":"iir.ml <span style='color:#111;'> 807B </span>","children":null,"spread":false},{"title":"avg3.ml <span style='color:#111;'> 449B </span>","children":null,"spread":false},{"title":"light_control.ml <span style='color:#111;'> 900B </span>","children":null,"spread":false},{"title":"pendulum.ml <span style='color:#111;'> 1.19KB </span>","children":null,"spread":false},{"title":"zelus","children":[{"title":"primes.zls <span style='color:#111;'> 310B </span>","children":null,"spread":false},{"title":"alt_sum.zls <span style='color:#111;'> 294B </span>","children":null,"spread":false},{"title":"primes_main.ml <span style='color:#111;'> 126B </span>","children":null,"spread":false},{"title":"alt_sum_main.ml <span style='color:#111;'> 128B </span>","children":null,"spread":false}],"spread":true},{"title":"cellular_automata.ml <span style='color:#111;'> 1.44KB </span>","children":null,"spread":false},{"title":"heater.ml <span style='color:#111;'> 2.54KB </span>","children":null,"spread":false},{"title":"rsum.ml <span style='color:#111;'> 316B </span>","children":null,"spread":false},{"title":"vanilla","children":[{"title":"alt.ml <span style='color:#111;'> 690B </span>","children":null,"spread":false},{"title":"fir.ml <span style='color:#111;'> 1.22KB </span>","children":null,"spread":false}],"spread":false},{"title":"primes.ml <span style='color:#111;'> 667B </span>","children":null,"spread":false},{"title":"fir.ml <span style='color:#111;'> 619B </span>","children":null,"spread":false},{"title":"automata.ml <span style='color:#111;'> 1.08KB </span>","children":null,"spread":false},{"title":"alt_sum.ml <span style='color:#111;'> 446B </span>","children":null,"spread":false},{"title":"page_rank.ml <span style='color:#111;'> 761B </span>","children":null,"spread":false},{"title":"Makefile <span style='color:#111;'> 538B </span>","children":null,"spread":false},{"title":"max.ml <span style='color:#111;'> 283B </span>","children":null,"spread":false},{"title":"rml","children":[{"title":"page_rank.rml <span style='color:#111;'> 1.52KB </span>","children":null,"spread":false},{"title":"fir.rml <span style='color:#111;'> 1010B </span>","children":null,"spread":false},{"title":"iir.rml <span style='color:#111;'> 1.41KB </span>","children":null,"spread":false}],"spread":false}],"spread":false},{"title":"Makefile <span style='color:#111;'> 735B </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 860B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]