cygwinsetup-x86_64.exe

ocaml-4.02.3-x86_64-mingw64-installer4-opam.exe ocaml-4.02.3 windows 64位/32位 安装包 Objective Caml（OCam

dotNetFx45LP_Full_x86_x64zh-Hans.exe需要就下载吧

打开Depends.exe软件，将DLL或者exe文件拖动到软件内进行分析。可协助解决VS2013VS2015应用程序无法正常启动0xc000007b的问题

dotNetFx40LP_Full_x86_x64zh-Hant.exe .net framework 4.0 繁体中文语言包

Miniconda3-latest-Windows-x86_64.exe

以chezscheme为后端的drracket，兼具chez的速度和racket的界面。可以用来运行sicp中的代码，只要在源文件中添加#langscheme就可以了。

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

Miniconda2-latest-Windows-x86_64.exe

HaskellPlatform-8.6.5-core-x86_64-setup.exe

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