The Coq Proof Assistant A Tutorial

Improve persistence with Apache Derby and iBATISPart 2

coq'sartinteractivetheoremprovingandprogramdevelopment

youker-assistant-master Qt开发界面常用的都在里面！熟悉了，qt开发没有难度！

P/Invoke Interop Assistant，用来调试C++写的动态库转换成C#或VB.NET

随着老板每天查岗的频率越来越高，奈何自己是个十足的夜猫子，早晨的被窝就像一块磁铁牢牢的吸着我，俗话说，懒人也有勤劳的时候，那一定是在想怎么可以偷懒，哈哈哈哈~~~偷偷制作了一款在线助手，再也不用担心早

1、CopyOverwritetoinstallationfolderandapplyit2、CopyPatchtoinstallationfolderandapplyit3、RunPatch

VC助手，破解版，方便Windows编程开发，适用于VS2008，VS2005，VS2003，VC6等。

vs2005的assistant

这是可一键复制Iconfont图标到Axure内的Chrome扩展，下载crx文件拖拽到Chrome即可安装。安装成功后点击插件点击阿里巴巴的图标可：https://www.iconfont.cn/，

Visual assistant (VC help)