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

Gonum 是一组数学库，旨在使编写数字和科学算法高效、可扩展。 Gonum 包含了众多数学库，包括用于矩阵和线性代数的库、统计、概率分布和抽样，同时包括函数分化、整合和优化的工具，以及网络创...

OpenMM 是一个用于分子模拟的高性能工具包。可以将其用作库调用或作为独立程序运行。 此工具包还包含适用于 Python、C、C++ 与 Fortran 的语言绑定。 这一工具包具有极高的灵活性与速度，通过 G...

PDFO（Powell's Derivative-Free Optimization solvers，Powell 无导数优化求解器）为 Michael J. D. Powell 的无导数优化求解器提供跨平台的调用接口。这些求解器包...

Calcutext 是一个网络应用程序，你可以在其中使用书面文本进行计算。 特性： 将任何数学运算（如 mathjs 中可用的）编写为一系列书面行来记笔记和进行计算 本地存储/可切换/可管理的...

数据库表设计助手 功能：范式(NF)分解、求最小依赖集、计算闭包、主码、候选码。 详细功能 计算闭包 计算增广集 计算传递依赖 计算闭包 计算关键字 计算主码 计算候选码 计算最小依赖集 依赖分...