顶部 开发者工具 为 Linux

Github上的组织是组织管理的Git仓库伟大的方式。 GitHub上，是集体的，可以让你自动创建团队，授予权限和创建库的繁琐任务的工具。方法，github上，集体工具需要的是您编辑从那里的配置被读取和更新respectivly中央配置（现在只有INI类文件）。起初purposo这纸条是管理在github...

BitRock InstallBuilder Qt的允许你创建易于使用的安装在Unix，Windows和OS X. 生成安装程序的应用程序有一个本地的外观和感觉，并没有外部的依赖关系，并且可以在图形用户界面，文本和无人值守模式下运行。除了自成体系安装，安装工具，也能够产生独立的RPM包。 这个版本的Qt使用作为默认的GUI工具包。它提供免费的许可开源项目 什么是此版本中的新： 在残疾人中的平台比其他调试器Windows，Linux和OS X...

维诺不是ORM。是的，这是真的，这不是ORM。入门快速浏览与葡萄酒：＃设定＃DB =维诺（“引擎：//用户名：@ passwd的主机：端口/数据库”）DB...

PyODBCSQLServer2000Database是SQL Server 2000的驱动程序通过ODBC DatabasePipe包 什么在此版本中是新的： 混淆功能 什么在0.2.0版本新： 在更新的要求与DatabasePipe 2.2.0工作 要求： ...

checkoutmanager使得BZR / HG /混帐/...

jongos是运行和加载文件JSON全自动工具：蟒蛇jongos.py 。加载JSON文件> db.load（“file_name.json”）刷新当前加载JSON文件> db.refresh（）保存当前的内存数据库到当前加载JSON文件> db.save（）保存查询结果JSON文件> db.capture（“save_to_file_name.json”）多余的：任何db.find（）/ db.group（）/ db.count（）命令后执行插入新记录>...

reviewboard - svn的钩是一种颠覆提供（又名SVN）挂钩reviewboard，用Python写的工具。参考 - 整合Subversion和审查委员会 - 预提交钩颠覆 要求： ...

HOL从短高阶逻辑是其中的定理可以证明和防爆工具实现的编程环境。内置的决策程序和定理证明能自动建立很多简单的定理。一个oracle的机制可以访问外部程序，如SAT和BDD引擎。HOL 4特别适合作为实现的扣除，执行和检查物业组合的平台 什么在此版本中是新的： 在HolSmtLib现在还支持Z3证明重建目标涉及固定宽度的文字和翻译HOL进入SMT-LIB 2格式。在HolQbfLib支持检查既有效性和证书Squolem 2.02的无效。...

NCBI C ++工具包提供免费，携带方便，公共领域图书馆没有任何限制使用。它的工作原理在Unix，微软Windows和Mac OS平台：ยท网络和进程间通信（IPC）库的iostream适配器ยท多线程库ยทCGI和快速CGI库ยทHTML生成库ยทSQL数据库访问图书馆ยทC ++包装BerkeleyDB的库ยทC ++的iostream适配器/包装库ยทGZIP和BZ2 C ++库包装用的iostream适配器ยทASN.1和XML串行化库用C...

CruxPorts4Slack下/适应“端口”和“pkgmk”命令允许使用的端口库的症结与Slackware的。 在BSD Unix的世界一个端口系统意味着一个目录层次结构（通常游戏usr / ports目录）在那里你可以自动从源代码构建自己的二进制软件包。 一个端口系统的优点是，内置包为您的电脑进行了优化。第二个优势是：端口可以更快然后二进制包 在过去的几年端口的系统走红在Linux上，太。一位著名的Linux发行版使用的端口系统的Gentoo，另一个是症结（www.crux.nu）。...