optimization-coach:DrRacket的优化教练插件

时间:2024-06-12 17:43:57
【文件属性】:

文件名称:optimization-coach:DrRacket的优化教练插件

文件大小:36KB

文件格式:ZIP

更新时间:2024-06-12 17:43:57

Racket

优化教练 该软件包提供了优化指导支持,可帮助您充分利用Racket和Typed Racket优化器。 如何安装 raco pkg install optimization-coach 如何使用 在DrRacket中打开Typed Racket文件。 单击优化指导按钮。 raco doc optimization coach 有关更多信息,请查看。


【文件预览】:
optimization-coach-master
----.gitignore(103B)
----README.md(541B)
----optimization-coach()
--------inlining.rkt(14KB)
--------report.rkt(3KB)
--------structs.rkt(3KB)
--------scribblings()
--------profiling.rkt(12KB)
--------display.rkt(5KB)
--------utils.rkt(642B)
--------instrumentation.rkt(12KB)
--------info.rkt(205B)
--------hidden-costs.rkt(7KB)
--------causality-merging.rkt(4KB)
--------sandbox.rkt(3KB)
--------typed-racket.rkt(3KB)
--------locality-merging.rkt(8KB)
--------tool.rkt(18KB)
--------main.rkt(921B)
----info.rkt(542B)
----LICENSE.txt(547B)

网友评论