Python(x,y) 是一个免费的科学和工程开发包，提供数学计算、数据分析和可视化展示。  

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

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

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

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

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

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

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

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

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

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

Ceemple 是一个快速开发基于 C++ 计算应用的变革解决方案。利用了 MATLAB 和 Python 的生产效率，结合了 C++ 语言的高性能。 Ceemple 支持快速编程方法，包括：自动声明变量、自动引入头文件等...