TSD-源码

上传者: 42116794 | 上传时间: 2021-02-21 09:08:19 | 文件大小: 56KB | 文件类型: ZIP
TSD 透明同步数据流的Ocaml实现 要求 迷彩4.05.0 + oasis2opam软件包 为了运行ReactiveML和JaneStreet增量库的基准,请确保已安装以下内容。 ReactiveML: : Inc:opam中的incremental软件包 仄洛斯: 安装 要固定并安装TSD软件包,请运行make install并按照说明进行操作。 要卸载,请运行make uninstall 汇编 运行ocamlfind ocamlc -package tsd,tsd.ppx -o $TARGET -linkpkg $SOURCE来编译您喜欢的程序。 范例与基准 要构建所有示例,只需运行make examples 。 编译的可执行文件可以在examples / build / $ TARGET / $ TARGET中找到。 要执行基准,只需运行make benchmar

文件下载

资源详情

[{"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}]

评论信息

免责申明

【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明