Proof Substitute for the Humdrum Toolkit

相關軟體

• The Tab Completion Grade Book 免費

  用於管理教師成績書的 JAVA 程式。 支援加權成績、任意嵌套作業、多個課程、多個學生、每個學生視圖（不顯示有關其他學生的敏感資訊）和 XML 檔存儲。

• BioSap 免費

  BioSap-Blast 整合寡核苷酸選擇加速器包。BioSap 透過偵測使用者定義的參數並在計算引擎上執行 Featurama 和 Blast 的並行實例，生成 xml 輸出檔，為微陣列選擇唯一的寡頭。

• EnotifWiki 免費

  EnotifWiki 將電子郵件通知添加到維琪百科的 MediaWiki 引擎：當頁面更改或創建時，電子郵件（"enotif"））將自動發送給觀看使用者。快速連結到差異視圖，到最後一個看到的版本。包括 FCKeditor （WYSIWYG）。

• Gtk+/CLI IDP Interface 免費

  本專案提供軟體，用於與 IDP 詞典一起使用Linux 和其他 Unices 。此專案不重新分發字典，但它們是 95% 免費， 所以你可以從 HTTP：//www.june29.com/IDP/

• MODELbuilder 免費

  MODELbuilder 是一個應用程式，它提供了一種圖形化方法，從經驗數據和類比數據派生各種模型。

• SPAS 免費

  SPAS（結構屬性分析軟體）是一種定量結構-屬性關係（QSPR）軟體。

• CHALICE 免費

  將歷史權威與連結、上下文和實體連接。CHALICE 是英國具有歷史意義的地名地名地名錄，作為連結數據出版，並連結到語義網路上其他廣泛使用的地名參考資訊來源。

• Finite Element LibrarY eXperiment 免費

  FELYX 是一種面向物件的 FE/FEM 代碼，C++。它為結構分析、頻寬減少、快速天際線解算器、一些反覆運算器以及商用 FEA 封裝 ANSYS 的介面提供了最常見的元素。

• Java Linear Algebra Library 免費

  JLAL 是 java 的線性代數包，提供易於使用的面向物件的 API。該庫支援算術運算、反轉、各種矩陣分解、線性方程解等。

• EZMWeb 免費

  EZMWeb 是一個基於網路的開源生物資訊集成和搜索系統。 用戶可以搜索整合的酶資訊。實現了不同酶間相關性的分析，通過java小子給出了其可視化結果。