clFFT 是 FFT 的 OpenCL 实现

OpenTissue是一个优秀的3D交互建模和仿真算法库，使用C++的模板实现，支持各种常用3D数学算法，建模与三角化，碰撞检测，基于GPU的动画角色蒙皮，动力学等等。支持OpenGL与NVIDIA

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

PhysBAM 是斯坦福大学针的物理仿真库，能够模拟刚性 & 形变、 可压缩和不可压缩流体、 耦合的固体 & 流体、 耦合的刚性及变形固体、 铰接式刚性机构

libefgy 包含一组 C++ 头文件，包含大量的跟数学相关的模板定义，包括分数算术、大整数、计算 n、e 数值等等。

TRIP是一个普遍的天体力学的计算机代数系统。它包括一个数字内核和接口gnuplot和xmgrace。计算可以进行双倍，四倍，或者多精度。用户可以动态加载外部库，用C写的，C++或Fortran。多元多项式可以进行并行计算

Jace.NET 是 .NET 平台上的一个高性能计算引擎。可对包含在字符串中的数学公式进行计算并得出结果。

librangetree 是一个c++模板,实现一个2d范围树，用于计数和报告查询。

Catalano Framework 是一个 Java 和 Android 的科学计算框架。 主要计算功能： 图像处理

CrossCat 贝叶斯方法分析高维数据表。CrossCat估计整个联合分布表中变量的数据,通过近似推理层次结构、非参数贝叶斯模型,

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

OpenLB是一个c++库，实现了晶格玻尔兹曼模拟这一地址广泛的计算流体动力学问题。主要是打算作为一个编程库支持研究人员和工程师模拟流体流动通过晶格玻尔兹曼方法。

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

Ceemple 是一个快速开发基于 C 计算应用的变革解决方案。利用了 MATLAB 和 Python 的生产效率，结合了 C 语言的高性能。

Interval arithmetic for Ada 提供实现 Ada 间隔的功能，包括算术和关系操作。

ScalarArithmetic 使用隐式转换进行更好的 32 位和 64 位的数值类型转换。 示例： let myHeight = 34.5let myWidth = 100.23

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

Z3 是来自微软研究院的的一个定理验证工具。

JavaGenes 是一个用Java编写的相当通用的进化软件系统。它实现了几个版本的遗传算法，模拟生化和其他搜索技术。JavaGenes

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