Visual Lambda Calculator with Mind Maps

相關軟體

• XML-RPC for C/C++ (Xmlrpc-c) 免費

  用於在 C 或數位中編寫 XML-RPC 伺服器或用戶端的程式設計 C++。XML-RPC 是一種標準網路協定，允許用戶端程式對伺服器進行簡單的遠端過程呼叫 （RPC） 類型請求。喜歡肥皂或 CORBA ，但簡單得多。

• Visio-EMF Bridge 免費

  Visio-EMF 橋分別將 Visio 模具和 Visio 模型轉換為 EMF 元模型和 EMF 模型。該橋使用 EMF 工具（如 open 建築軟體或 Eclipse Epsilon）處理 Visio 模型。

• DMG Automounter for Linux 免費

  DMG 自動裝載機是一個鸚鵡螺腳本，它允許任何 Linux 發行版裝載 Mac OS X .dmg 檔（但不是安裝它，因為這需要 Mac OS X API 是封閉源的）。README 具有整個安裝說明。請捐贈！

• LiveGraph 免費

  即時圖形繪圖儀。當應用程式使用 LiveGraph Writer API 計算和記錄結果到 CSV 檔時，繪圖器允許您透過即時繪製資料的圖表和圖形來即時可視化和監視結果。

• MGP 免費

  Maven GWT 外掛程式用於從 Java 源編譯 JavaScript 源檔。該外掛程式運行GWTCompiler，允許配置編譯器選項，自動檢測源和資源檔案的位置。不需要本地 GWT 安裝

• pGina 免費

  pGina 是 Windows 作業系統的開源替代身份驗證系統，它使用易於編寫外掛程式來適應透過無限端進行身分驗證。

• PostNuke module pnEWiki 免費

  ErfurtWiki 是 WikiWikiWeb 超文字系統的實現（用 PHP 文本語言編寫）。 pnEWiki 是將 ErfurtWiki 整合到 PostNuke 的 PostNuke 模組。

• Stewien's Miscellanous Libraries 免費

  雜項庫、小型應用程式和實用程式的集合。給每個人一點東西。

• ioda fulltext engine 免費

  ioda 是一個全文索引軟體，存儲單詞和元數據。處理查詢中的邏輯運算符、括弧和單詞距離值。用作現有資料庫或獨立資料庫的補充。作為單個 prog、TCP 伺服器、CGI 或庫運行。

• more - a C++ library 免費

  多用途庫：與 STL 相關，如閉合 lambda 表達式和部分排序。 代碼生成編譯鏈接和解釋函數調用。 數學和物理， 與旋轉器， ENSDF 解析器和更多.