Orangeboard Lambda Calculus Interpreter 1.0
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/redboard/files/redboard/Redboard%201.0/RedboardSource.zip/download
关于 Orangeboard Lambda Calculus Interpreter
一个简单的 .NET/mono 应用程序,用于解释和评估未键入的 lambda 微积分表达式。
相关软件
-
pyckett 免费
这是基于经典 Pickett 幻灯片规则设计的幻灯片规则模拟器。 它是用Python写的,所以名字是合适的。 它适合作为面向对象的Python软件构造的例子,包括多重继承。
-
tkradar 免费
Tkradar 是一组用于访问、操作和显示各种形式天气雷达数据的 C 库和 Tcl/Tk 包。 它需要 Tcl、 Tk 和 Tkgeomap 。
-
e17genmenu 免费
e17genmenu 是一个应用程序,用于根据 Gnome/Kde 菜单在 Linux 上自动生成启蒙窗口管理器 (DR17) 的菜单条目。它写在C,利用启蒙基金会图书馆,包括Ecore,Engrave和Eet。
-
Italian Translator TransZilla 免费
意大利翻译Transzilla是使用谷歌翻译的免费翻译。译者支持英语意大利语和意大利语到英语翻译。使用翻译进行单词、句子翻译。在翻译器中键入文本,然后单击 GO 翻译输入文本。翻译功能:- Tts-翻译语音输入-通过短信/电子邮件分享翻译-快速翻译最佳免费翻译
-
Eigenmath DS 免费
Eigenmath DS 是一个免费的计算机代数系统移植到任天堂 Ds 。该项目的目标是有一个可与商业系统相媲美的免费 CAS如德州仪器 (德州仪器) 或惠普计算器。GUI 由 woopsi 0.3 制作
-
Inaugural Address USA 2009 免费试用
奥巴马总统2009年1月就职演说的正式文本。我们还发布:*2009年2月在国会的讲话**奥巴马2010年太空*和其他应用程序。这个程序被设计成在上网时阅读,没有互联网连接。
-
BioStream 免费
BioStream 使生物信息学研究人员能够创建、查询和应用工具到自己的数据库中。它通过允许创建元数据定义文件支持序列文件和其他数据类型。
-
I.S.A.A.C.S. 免费
I.S.A.A.C.S.无定形和晶体系统交互结构分析是一种跨平台软件,用于分析计算机模拟构建的三维模型的结构特征。
-
SystemJ-Translator 免费
SystemJ 是一种致力于快速开发反应性 HDL 的新语言。基于JAVA,它是独立于平台的,并且提供了JAVA附带的易于开发。
-
Project35 免费
Project35 是一套基于 XML 架构生成表单的软件工具。 项目35工具最初源自佩德罗研究项目,经过修改,以支持更多的生产级用例,特别是在发展中国家。