LCI - A lambda calculus interpeter 0.6

相關軟體

• 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 標準的擴展。