頂部 開發者工具 為 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）。...