Coq 是一款交互式证明辅助工具，采用OCaml开发。Coq提供一套证明系统，可以编写证明，检查证明。Coq也提供一套形式化语言，可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明（比如操...

Tundra 是 3D 脚本化的互联网应用开发平台。它的主要目的是为应用程序开发人员,为创建网络平台3D世界与定制的内容。基于 Qt 和 Ogre3D 开发。

TM++ 是一个嵌入式，便携式，持续的主题地图引擎。它的目的是工作按照ISO标准TMDM 1.0和XTM 1.0/2.0在Windows和最兼容POSIX操作系统Unix和Linux一样。它的接口为C++, ALLEGROCL, CHICKEN, CLISP...

Google Maps Navigation 是谷歌公司推出的基于 Android 2.0 的一款导航软件（非开源），目前据称也支持 Android 1.6 。 Google Maps Navigation仅仅是Android 2.0系统里的一个应用，但它将Googl...

muParser 是一个快速的数学表达式的解析器，可将数学表达式转成字节码并预先计算常数表达式的部分。

demixed Principal Component Analysis (dPCA) dPCA is a linear dimensionality reduction technique that automatically discovers and highlights the essential features of complex popula...

plot_google_map MATLAB function for plotting a Google map on the background of a figure plot_google_map.m uses the Google Maps API to plot a map in the background of the current fi...

Toward Convolutional Blind Denoising of Real Photographs Paper versions CVPR 2019 version CVPR 2019 supp Python implement of ISP/inverse ISP operators and some materials Python Cod...

swix 是 Swift 的矩阵库。示例代码： ones(4) == [1, 1, 1, 1] ones((4,4)) == matrix([1, 1],         &nb...

Theano 基于 Python，是最早的深度学习开源框架。 Theano 严格来说是一个擅长处理多维数组的 Python 库，十分适合与其它深度学习库结合起来进行数据探索，高效地解决多维数组的计算问题。它设计...

OpenCPU 是一个巧妙地将 R 语言的统计计算能力转化为标准 ​​Web API​​ 的开源框架，它让复杂的统计模型和数据分析脚本能够通过互联网被轻松调用和集成。 为了让你快速把握其全貌，下面这个...

carloop-library  是开源汽车平台Carloop的底层库。通过这个库开发者可以从OBD-II、CAN和GPS中获取数据，并且可以通过Particle平台来上传数据。用法#include \'carloop/carloop.h\' C...