頂部 開發者工具 為 Linux

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）。...

Java的工具是用於創建，編譯和執行Java應用程序和applets一個輕量級的集成開發環境。Java工具包括指向和點擊的Java文件，命令和文件的訪問。它還包括一個內置的文本編輯器和用戶界面的Java調試。其目的是為需要幫助的入門誰是新的Java用戶。這也為有經驗的Java用戶誰想要方便地訪問到Java命令和文本編輯器 特點： ...