Regress Pro 是一个用于学习的科学和工业软件，可用于研究光谱椭偏仪或反射计的实验数据。该方案已经制定，主要应用在半导体产业的薄膜测量。软件是合适的，既要确定层的厚度，并确定电介质材料...

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

Apache SIS 是一个空间的框架，可以更好地搜索，数据聚类，归档，或任何其他相关的空间坐标表示的需要。

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

MATLAB Plot Cheatsheet This is a handy cheatsheet for matlab users, especially for those who are preparing figures for a paper! Written and tested in Matlab2019b Download big (1.29...

MATLAB Plot Cheatsheet This is a handy cheatsheet for matlab users, especially for those who are preparing figures for a paper! Written and tested in Matlab2019b Download big (1.29...

Geoclue 是一个提供位置信息的 D-Bus 服务。其主要目的是尽可能简单方便的创建位置感知的应用程序。位置信息基于以下几种技术实现：基于 WiFi 的位置信息 (精确度: 米) 使用 Mozilla Location S...

MatConvNet tutorial：Train your own data 用MatConvNet训练自己的数据 安装和编译MatConvNet(Build the library with CUDA) git clone https://github.com/vlfeat/matconvnet cd matconvnet %...

Target-Aware Deep Tracking Matlab implementation of the Target-Aware Deep Tracking (TADT) method. Installation This code has been tested on a Ubantu Platform with Matlab and the Ma...

Open CASCADE是一套开放原始码的CAD/CAM/CAE几何模型核心，源自于法国的Matra Datavision公司，这一套函式库系统原来是著名的CADCAM软体EUCLID的开发平台，但是在1998年， Matra Datavision改变...

SpringRank SpringRank is a method for ranking the nodes in a directed network or from a set of pairwise comparisons. In this repo, we provide three implementations of the SpringRan...

VariCAD 是应用于机器引擎研发的CAD（计算机辅助设计）精密绘图软件，若您想研发特殊的工业产品或帮别人绘制产品3D绘图，那您就千万别错过这套好用的CAD精密绘图软件，它能使你的绘图工作更快速...