OpenBLAS 是一个优化的 BLAS 库，基于 GotoBLAS2 1.13 BSD 版本。 BLAS（Basic Linear Algebra Subprograms 基础线性代数程序集）是一个应用程序接口（API）标准，用以规范发布基础线性代数操作...

Relational 是一个接口，用来从文件中加载关系，编写代数查询，并查看结果。该软件主要用于教学目的，可用来检测一个代数查询是否正确。

neon 是 Nervana System 的深度学习软件，致力于在所有硬件上实现最佳性能，专为易用性和可扩展性而设计。根据Facebook一位研究者的基准测试，Nervana的软件比业界知名的深度学习工具...

kmeans 算法，即k 均值聚类算法（k-means clustering algorithm），是一种迭代求解的聚类分析算法。其步骤是，预将数据分为 K 组，则随机选取 K 个对象作为初始的聚类中心，然后计算每个对象与...

F#是由微软发展的为微软.NET语言提供运行环境的程序设计语言，是函数编程语言（FP，Functional Programming），函数编程语言最重要的基础是Lambda Calculus。它是基于OCaml的，而OCaml是基于ML...

Pyodide 由编译成 WebAssembly 的 CPython 3.8 解释器组成，允许 Python 在网页浏览器中运行。 Pyodide 可以安装来自 PyPi 的任何 Python 包。Pyodide 还包括一个外部函数接口，可以将 Python ...

OctaveSharp 是一个用 C# 来允许 GNU Octave 的项目。

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

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

Hama 是个计算框架，基于BSP (Bulk Synchronous Parallel大容量同步并行)计算技术，主要针对大规模科学的计算。

Windows Calculator 是一个用 C++ 编写的现代 Windows 应用，预装在 Windows 中。其提供了标准、科学和程序员计算器模式与相应功能，以及各种度量单位和货币之间的一组转换器。 源码库中包含 Ca...

GPOPS是一个可以进行大规模非线性优化的MATLAB工具箱. Gauss Pseudospectral Optimization Software(GPOPS) is a MATLAB program for solving non-sequential multiple-phase optimal control p...