NCBI C ++工具包提供免費,攜帶方便,公共領域圖書館沒有任何限制使用。它的工作原理在Unix,微軟Windows和Mac OS平台:ยท網絡和進程間通信(IPC)庫的iostream適配器ยท多線程庫ยทCGI和快速CGI庫ยทHTML生成庫ยทSQL數據庫訪問圖書館ยทC ++包裝BerkeleyDB的庫ยทC ++的iostream適配器/包裝庫ยทGZIP和BZ2 C ++庫包裝用的iostream適配器ยทASN.1和XML串行化庫用C...

Cython

Cython 0.23 更新

用Cython是實施Python和設計作為一種編程語言編寫C擴展了與Python語言完全兼容,並且非常易於使用的開放源碼庫軟件。基於流行的高硼矽項目之中,用Cython已設計是這樣一種方式,是能夠作為一個源代碼翻譯器,它支持最先進的優化和functionality.Features在glanceCython的支持聲明的C類型的類和變量屬性,以及調用C函數,這使編譯器能夠方便,快捷地生成用Cython代碼非常高效的C代碼。在設計上,它支持所有的GNU / Linux或UNIX系統,兩者的Python...

PyRuby

PyRuby 1.0.0

PyRuby是一個Python庫,它提供了一種簡單的方法來利用紅寶石的力量讓你的Python代碼的可讀性和美麗。請注意,PyRuby仍處於發展的初級階段。 。使用它需要您自擔風險。 要求: ...

rpdb

rpdb 0.1.2

RPDB基本上是圍繞PDB,將重新路由stdin和stdout到套接字句柄&NBSP一個Python包裝;默認情況下,它會打開端口4444的調試器:進口RPDB; rpdb.set_trace()但你可以改變,通過簡單的手動實例RPDB:進口RPDB調試器= rpdb.Rpdb(12345)debugger.set_trace()眾所周知,工作的Jython 2.5,Python的2.5和Python...

hgcp

hgcp 0.12

HGCP是提供水銀跨reposititory複製和移動功能的工具。開發者評論當重構的包,我有時會發現需要的一些文件從一個Mercurial庫,同時保留他們的歷史複製到另一個。雖然這並不難做到,一旦你知道怎麼回事,它不是一個簡單的操作。所以,我創建HGCP。從源代碼回購將文件複製到dest-回購變得非常容易。下面是幾個例子: - HGCP源回購/功能/古怪-feature.txt DEST回購/(此副本源回購/功能/古怪,feature.txt到dest-回購/功能/古怪,feature.txt) - ...

boot

boot 0.34

啟動是基於ghld + gtkwave和設計編譯,仿真和綜合的VHDL代碼開源工具。啟動易於使用和運行任何Linux發行版。文檔可以在這裡找到。下載並安裝啟動在Linux下,開機即可下載並使用以下命令安裝:sudo易於得到安裝python-PIPPIP安裝啟動更新啟動開機可以用命令更新:PIP安裝--upgrade啟動如何使用啟動開機可以使用終端啟動:靴。看看幫助選項卡的完整的引導文件 要求: ...

HOL

HOL 7

HOL從短高階邏輯是其中的定理可以證明和防爆工具實現的編程環境。內置的決策程序和定理證明能自動建立很多簡單的定理。一個oracle的機制可以訪問外部程序,如SAT和BDD引擎。HOL 4特別適合作為實現的扣除,執行和檢查物業組合的平台 什麼在此版本中是新的: 在HolSmtLib現在還支持Z3證明重建目標涉及固定寬度的文字和翻譯HOL進入SMT-LIB 2格式。在HolQbfLib支持檢查既有效性和證書Squolem 2.02的無效。...

Nemiver

Nemiver 0.9.5

Nemiver是一個開源和compltely免費的圖形軟件項目實施的C ++ / GTK +和設計從地上爬起來,作為一個使用大​​GNU調試器(GDB)作為其backend.Integrates與一個獨立的C和C...