Alfred2v2.5.1(308)

三维点云数据处理软件代码，可实现对点云数据的各种可视化操作

python-2.5.1软件方便又好用，系编码好帮手

官网https://skydrive.live.com/?cid=305405F66C26F9B3

NuSMVisare-implementationandextensionofSMV,thefirstmodelcheckerbasedonBDDs.Ithasbeendesignedtobeanop

目前roadflow的最新版本

Emmagee是网易杭州QA团队开发的用于测试指定android应用性能的小工具。该工具的优势在于如同windows系统性能监视器类似，它提供的是数据采集的功能，而行为则基于用户真实的应用操作。

bochs最新版。PC仿真软件。用于操作系统开发与调试

当注册表无法打开时，RegWork派上用场了

redmine-2.3.1

计算非线性系统稳定性，hopf分叉之类非常好的工具箱。这是最新版的，添加了很多功能。