Anaconda2-5.3.0-Windows-x86_64.exe

Anaconda3-4.3.1-Linux-x86_64.sh

Anaconda指的是一个开源的Python发行版本,其包含了conda、Python等180多个科学包及其依赖项。 因为包含了大量的科学包,Anaconda 的下载文件比较大(约 531 MB),如

Anaconda指的是一个开源的Python发行版本，其包含了conda、Python等180多个科学包及其依赖项。 [1] 因为包含了大量的科学包，Anaconda 的下载文件比较大（约 531 M

VNC(VirtualNetworkConsole)是虚拟网络控制台的缩写。它是一款优秀的远程控制工具软件

Miniconda3-latest-Windows-x86_64.exe

JLINKV7.50 JLink驱动软件，官网下的慢的话可以下载这个；我一直会跟踪官网的更新，做一个搬运工哦； 长期监控官网更新。

Coq定理证明工具安装包,可用于交互式定理证明/形式验证。免去官网下载极慢的烦恼!

bazel-3.7.2-windows-x86_64.exe.zip

64位 编译软件

编译Tensorflow C++ 版本所需