decimal.js 实现了对任意精度的十进制进行计算的 JavaScript 库。

PyMiner一款基于数据工作空间的数学工具，通过加载插件的方式实现不同的需求，用易于操作的形式完成数学计算相关工作。 项目开发环境支持跨平台，windows,linux,mac 都支持！如果使用出现问题，...

Hilbert 是一个用于数学的编程语言，Hilbert 让你在键盘上使用数学就好像用你笔在做同样事情一样。

Numpile 是极小的，由千行 Python 代码构成的，基于 LLVM 的数值科学计算工具。 from numpile import autojit @autojit def dot(a, b):     c&nb...

PyFR是一个新一代的流体求解器，采用Python编程框架，旨在针对不同的硬件平台，包括多核CPU、NVIDIA GPU卡、Intel Xeon Phi协处理器和AMD GPU卡 ，解决当前一系列棘手的流体问题，包括飞机、F1...

Z3 是来自微软研究院的的一个定理验证工具。 使用Visual Studio命令提示符在Windows上构建Z3 32位版本 python scripts/mk_make.py 或者，对于64位版本： python scripts/mk_make.py -x 然后： c...

fbtorch 是 Facebook 的 torch/torch7 框架扩展包。  

iTorch 是 Torch 的 IPython 内核，包括图片可视化，绘画（使用 Bokeh.js），视频和音频。 主要特性 iTorch notebook 模式跟任意的 IPython notebook 一样 提供有用的在线自动完成，无论什么时...

fblualib 是一个 Lua/Torch 集合，此集合在开发 Facebook 时发挥了重要作用。其中一些工具在没有 Torch 的情况下也能使用。LuaJIT 是必须的，目前只支持 x86_64 Linux。

fbpca 是Facebook 公司开源的 Fast Randomized PCA/SVD 工具（快速随机 PCA/SVD 算法分析）。  

Xmacs是基于GNU TeXmacs某个版本定制的发行版。GNU TeXmacs是为科学家们或者说科技工作者们设计的科技编辑平台。而Xmacs致力于成为一个能够编辑编辑代码和轻量级标记语言的结构化编辑器。 Xmacs...

CardinalityEstimation 通过一十分迅捷的规则估算出组里元素的数量，并储存下来。 示例代码： ICardinalityEstimator<string> estimator = new CardinalityEstimator...