protobuf2.5.0和protoc2.5.0win32

This is version 2 of NuSMV, the New Symbolic Model Verifier.

DelForEx是一款非常好用的delphi代码格式化工具。下载完毕后请直接解压,然后运行SetupEx.exe,运行第一次是安装,再次运行是卸载,以此往复。安装完毕后重启delphi,然后ctrl+

公式编辑器,在编辑各种论文、计算报告时,插入公式是必不可少的。AxMath是一款具有LaTeX风格的公式编辑器,版式精美。AxMath支持所见即所得的编辑方式,入门简单。也支持快捷键定义和LaTeX语

使用VS2008编译的xlslib库,主要用于写入excel文件,该库是开源的,可放心用在商业项目开发中。

A tool for reverse engineering 3rd party, closed, binary Android apps. It can decode resources to ne

新StarUML发布。韩国人用Delphi开发的StarUML曾经是最流行的开源UML工具，用户覆盖上百个国家，超过350万的下载量，但从2008年以后没有再更新，版本停留在5.0。2014年5月，原

googleprotocolbuffer2.5.0版本编译jar包。

安装软件qtcreator2.5.0，用户界面应用程序开发框架

sootclass.jar 可以用来分析java源文件 这个是开源的 可以用来研究

写excel的开源库代码,configure之后需要修改makefile文件,主要是修改automake相关路径,添加miss文件,具体参考libxls里面