ispin.tcl-1.1.4_spin的窗口化工具

协议验证工具spin的官方可视化窗口工具，在gcc和spin环境下打开是一个蓝色的IDE

typora-0.9.51_64位

相当好用的markdown工具,可以实时查看效果，支持各种文档形式的导出

ActiveTcl-8.6.8.0-64位

官方发布的免费Tcl开发环境，包含许多有用的扩展包。Tcl是一种很通用的脚本语言，它几乎在所有的平台上都可以解释运行，功能强大。