shiplife

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

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

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