提交軟體
  1. 首頁
  2. Linux軟體
  3. 其他
  4. LCI - A lambda calculus interpeter

LCI - A lambda calculus interpeter 0.6

軟體性質： 免費 ‎檔案大小： N/A
‎使用者評分： 4.0/5 - ‎1 ‎評分
點擊下載

LCI 是 lambda 微積分的翻譯。它支援許多進步功能，如整數、遞歸、使用者定義的運算符和多個評估策略。

版本歷史記錄

  • 版本 0.6 發佈於 2008-02-14
    若干修復和更新
  • 版本 0.6 發佈於 2008-02-14

軟體細節

相關軟體

  • Universal SQL Gateway 免費

    通用 SQL 閘道通過實現特殊的 JDBC 驅動程式透過 HTTP 透過防火牆隧道 SQL 請求。它通過充當通常稱為應用程式閘道的防火牆元件來提供安全的資料庫 acces。

  • Dev65 免費

    Dev65 是 6501、6502、65C02、65816 和 65832 系列微處理器的宏彙編器、連結器和圖書管理員套件，這些微處理器系列在 Java 中編碼，可移植性。該代碼基於一個框架，可以支援其他系統體系結構。

  • GameDirector 免費

    GameDirector Ver 0.1 開發構建 10 18-11 月 10 日。GameDirector 是基於 Ogre 引擎的一種新的遊戲開發系統，目前是一種重大開發系統。

  • Flash and Boom 免費試用

    閃電距離測量應用。幾秒鐘后，一閃一閃的雷聲隨之而來。閃光和動臂應用程式利用這個時間來確定您與衝擊點之間的距離！

  • Network Transparent Widgets (ntw) 免費

    NTW 是一個跨平臺用戶端/伺服器協定和小部件工具組，允許高效的遠端操作，即使在慢速網路。 其目標是能夠通過一台廉價的伺服器為數百個遠端用戶端提供服務。

  • subtex 免費

    子特是LaTeX的XML版本，這是流行的排版系統。它包含乳膠命令的子集（因此SUBtex），但也包含許多改進，包括一個神話般的內置書目系統。在 XML 中使用 LaTeX 標記！是的！

  • LogJana 免費

    logjana 程式是 jana 代理伺服器 V2 的紀錄程式。它在時間檔中拆分主日誌檔.log代理"和"代理"。主日誌檔 "代理.log"不會更改。如有疑問，請發送電子郵件到邁克爾.wiechert（at）goo

  • elisa 免費

    Elisa 是一個C++和約束求解技術的開放式庫。 用於解決連續約束的基於間隔的演算法HTTP：//sf.net/projects/gaol已安裝在您的系統上。

  • PersianDate 免費

    將波斯歷和公曆之間的日期和一些幫助器類轉換為遞增日期的 c++ 庫...

  • Ada 2005 Math Extensions 免費

    Ada 2005 標準定義了真實和複雜的矩陣和向量操作。並不是每個可能的操作都受支援，因此，例如，只能解決對稱矩陣或赫米提亞矩陣。此專案提供 GNAT 標準的擴展。