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小子给出了其可视化结果。