clBLAS 是 BLAS 的 OpenCL 实现

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...

Java 的代数系统（的JAS ）是一个面向对象，类型安全的，多线程的方法，计算机代数。JAS 提供了一个精心设计的软件库，使用通用类型的代数运算执行 Java 编程语言。该类库可以用作任何其他 Java...

TermGL 是一个用于 2D 和 3D 图形的基于终端的图形库，用 C 编写，为支持 ANSI 转义码的终端创建。 构建 仅使用 C 标准库，便于编译。 要编译测试程序，请运行 test/Makefile make test &n...

fourd.js 是一个用在浏览器上的动态图形可视化库。稍微调整一下，你就可以用它做出一些几何图形集合，此库已经在 Chrome、Firefox、IE11 上测试运行，有传言说，通过切换 CanvasRenderer，此库...

Ceres Solver 是一个可移植的 C++ 库，可用来建模并解决大型复杂的非线性最小二乘问题。它的显著特性如下： • A simple, expressive API | 简单易读的 API • Automatic differen...

ImplicitCAD 是一个开源的可编程的 CAD 软件。采用 Haskell 语言开发。 示例代码： /* This creates a twisted extrusion of 5 unioned circles ...

Gmsh是一个自动的三维有限元网格生成带有内置在CAD和后期处理器。其设计的目标是要提供一个简单的啮合工具学术问题与参数的投入和先进的可视化能力。 gmsh是围绕四个单元：几何，网格，求解和后...

Quartus II 是Altera公司的综合性PLD开发软件，支持原理图、VHDL、VerilogHDL以及AHDL（Altera Hardware Description Language）等多种设计输入形式，内嵌自有的综合器以及仿真器，可以完成从设...