JavaGenes 是一个用Java编写的相当通用的进化软件系统。它实现了几个版本的遗传算法，模拟生化和其他搜索技术。JavaGenes 已经用于分子进化，原子力场参数，数字电路，地球观测卫星计划等地方。

Choco-solver 是一个用于约束满足问题（Constraint Satisfaction Problems）和约束规划（Constraint Programming）的 Java 库。 它建立在一个可回溯结构的,基于事件的传播机制上。   ...

CFD Utility 软件库有将近 30 个 Fortran 90 和 77 的子程序组成，同时有将近 100 个基于这些库开发的应用程序。许多实用程序适用于多次拉丝结构化网格和流动的解决方案,但是很多其他可重用的模...

Anaconda 是一个 Python/R 发行版，用于科学计算和信号处理等领域，支持 Linux, Mac, Windows, 包含了众多流行科学计算、数据分析等Python与R包。 它是一个大规模数据处理、预测分析和科学计算...

WinPython 是由 Python(x,y) 的作者开发，功能是比较全的,软件包也比较新，GUI基于PyQt，不过相对于Python(x,y)，它主要是关注便携式安装体验：你可以把它装在u盘里面。windows中可以不再使用Py...

Blaze 是下一代的 NumPy。用于处理分布式的各种不同数据源的计算。

libdeco-ostc 提供了用于潜水减压计算的开发库。库函数使用 OSTC 潜水计算器固件并反悔减压调度信息。减压模型使用带梯度因素的 Buhlmann (ZH-L16C)，提供 C 和 Python API。

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

BayesDB 是一个贝叶斯数据库表，内建贝叶斯查询语言 BQL，用户无需统计方面知识即可解决一些基本的科学数据问题，例如检测和预测变量之间的关系、推断缺失值、找出类似数据库条目等等。 BayesDB...

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

Axiom是一个通用的计算机代数系统，用于研究和开发数学算法，定义了强类型的数学形式上正确的类型系统，拥有自己的编程语言和内置编译器。

Catalano Framework 是一个专为 ​​Java 和 Android 平台​​设计的开源科学计算库，它提供了一套全面而强大的工具集，覆盖图像处理、模糊逻辑、数学计算、统计分析、机器学习及神经网络等多个...