波兰形态分析仪和Java库接口。第一次完全开源和综合形态的工具和有限状态的波兰和其他语言技术。

GiNaC（GiNaC 不是一个 CAS 计算机代数系统））是一个用于符号计算的C++库。它的设计允许集成系统创造，象征性的操作嵌入与更成熟的计算机科学（如计算密集型，图形界面等），数字应用领域。相...

π-Base 是拓扑示例社区数据库，提供自动演绎和强大搜索功能。语法：使用 ~ 进行否定， {和: [...]} 或者 {or: [...]}嵌套。你可以通过以下这些字符开启不同的搜索模式：: - 名字间隔? - 不确定...

使用 Go 实现的数学表达式解析计算引擎库，无任何依赖，相对比较完整的完成了数学表达式解析执行，包括词法分析、语法分析、构建AST、运行。 能够处理的表达式样例： 1+127-21+(3-4)*6/2.5 (88+...

muParserX 是一个用 C++ 编写的数学表达式解析器，基于 muParser 引擎，但对其进行扩展支持多种数据类型包括：strings, complex numbers and matrices.

CrossCat 贝叶斯方法分析高维数据表。CrossCat估计整个联合分布表中变量的数据,通过近似推理层次结构、非参数贝叶斯模型, 并提供有效的采样条件分布。CrossCat结合非参数混合模型和贝叶斯网络结...

Hypre是一个高性能的预处理器的功能并行多重网格方法为结构化和非结构化网格问题库。它是一个项目，旨在开发可扩展的算法和软件，为解决大，稀疏线性方程组并行计算机的一部分。

Incanter是一个基于Clojure的类似R的统计计算与制图平台。 功能： 图形和可视化功能 数学函数 统计函数 矩阵和线性代数 数据操作

graphingcalculator是一个开源，跨平台的桌面图形计算器。功能与TI-83相似。

RootFinder 提供了一个实现的所有标准的托架和开放根发现技术,以及一个可定制和可配置的框架,将初始化/括弧功能从最终的根搜索。

ScalaBLAST 是 NCBI BLAST 库的一个高性能的多处理器实现。它支持所有5个主要类型：BLASTN，BLASTP，TBLASTN，tblastx和Blastx和多种输出格式（pairwise, tabular和XML）。 它运行在大多数已安...

DAKOTA (Design Analysis Kit for Optimization and Terascale Applications) 是一种用于执行系统的分析和高性能计算机的设计通用软件工具包。它提供了设计优化，不确定性量化，参数估计，实验...