兰姆达INet:用于最优评估的图形交互网络计算器

[应用,bsd3型,程序][建议标签]

编码交互网络的实验评估器基于Lambdascope的最优和按需呼叫策略基于OpenGL和GLFW的交互式图形界面。有关更多信息,请参阅源代码中的自述文件。


[跳到自述]

下载

维修人员角落

包装维护人员

对于包维护者和黑客托管者

候选人

  • 没有候选人
版本[RSS公司] 0.1.0,0.1.1,0.1.2,0.1.2.1,0.2.0.0
依赖关系 基础(>=3 && <5),容器(>=0.5.0.0),GLFW公司(>=0.5.0.0),GLFW-任务,单任务,mtl公司,OpenGL(OpenGL),变压器,矢量[详细信息]
许可证 BSD-3条款
作者
维护人员 保罗·H·刘<paul@thev.net>
类别 应用程序
主页 无法使用的
已上传 通过刘颖骏2014年9月2日T02:13:04Z
分配
反向依赖关系 1个直接,0个间接[详细信息]
可执行程序 兰姆达INet
下载 总计4652人(过去30天内有11人)
额定值 (尚未投票)[估算人贝叶斯平均]
您的评分
  • λ
  • λ
  • λ
状态 文档不可用[生成日志]
上次成功报告时间:2015年5月18日[全部10份报告]

LambdaINet-0.2.0.0自述文件

[返回包描述]
兰姆达INet==========LambdaINet实现了一个基于交互网络的优化求值器Lambdascope[1],具有交互式图形界面,允许用户查看直接操纵交互网络。[1] 文森特·范·奥斯特罗姆(Vincent van Oostrom)、基斯·扬·范·德鲁伊(Kees-Jan van de Looij)、马里恩·兹维瑟洛德(Marijn Zwitserlood)、,Lambdascope,编程系统代数和逻辑研讨会(ALPS),2004年4月10日,京都变化=======*2014年9月1日星期二PDT-基于GLFW任务的新GUI,新布局算法。bump版本为0.2.0.0。*2009年9月15日星期二(美国东部夏令时)-修复OS X上的GUI;修复移动节点时的故障。将版本提升到0.1.2。*2009年9月14日(美国东部夏令时)周一-使用应用程序功能修复错误,将版本提升至0.1.1。用法=====在“cabal install”之后,只需键入“LambdaINet”即可启动应用程序。一次启动,按H键获得帮助,按ESC键退出。了解所有操作具体来说,你必须阅读Oostrom等人的上述论文。目前除了修改源代码外,无法加载输入程序,如果要更改启动程序,请尝试src/Main.lhs,或者1..9个预设程序。此时,对象语言支持带递归的lambda表达式,元组和原语,如数字、字符串和函数。侧面注释=========当我处理漏洞时,大部分代码在两周内完成2007年FRP的问题。因此,这确实是一项仓促的工作,无法保证正确性,尽管我尽量忠实于原稿我可以。在向公众发布这个应用程序之前,我只做了一些适度的清理,而代码本身在最初编写时也有少量文档记录。有些部分可能仍然有漏洞,比如从网络到术语的翻译;其他部分可能需要更多改进,如节点定位和线条布局算法。但我还是决定发布它--也许有些人哪里会发现它有用。开发===========请将错误报告或反馈转发给我(Paul Liupaul@thev.net),但是不要对及时修复bug抱太大希望。还需要帮助进一步开发LambdaINet,例如,它确实需要一种从单独的文件或标准输入读取lambda表达式的方法应该是一个简单的功能添加,但唉!我没有时间最近的将来我也会做这种事情。----上次修改时间:2009年9月14日星期一,作者:Paul Liu