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工具最初源自佩德羅研究專案,經過修改,以支援更多的生產級用例,特別是在發展中國家。