LLVM

LLVM 6.0.1 更新

LLVM是一個編譯器基礎結構,專為編譯時,鏈接時,運行時和任意編程語言的程序“空閒時”優化而設計。 LLVM目前支持使用源自gcc 3.4的前端編譯C ++和C程序。 此版本中的新功能: 這是一個有很多功能的新版本。 Clang現在支持即將推出的C ++標準當前工作草案中的所有功能,暫定名為C ++ 1y。靜態分析器大大提高了C ++支持,產生更少的誤報並捕獲更多錯誤。...

ArangoDB

ArangoDB 1.4.8

特點: 在無架構在基於JavaScript的接口在多線程在靈活的數據模型在自定義指數在耐用的設計在支持現代存儲硬件(SSD,大緩存系統) 什麼在此版本中是新的: 在Web界面安裝福克斯應用 什麼版本1.0是新的: 在固定檢查的Readline和ncurses的頭,不僅圖書館。 限制: ...

Jikes

Jikes 1.22

JikesTM是一個編譯器中的Java語言規範中定義成Java虛擬機規範中定義的bytecoded指令集和二進制格式轉換的JavaTM源文件。你也許會奇怪,為什麼這個世界需要另一個Java編譯器,考慮到Sun提供的javac免費與它的SDK。的Jikes具有五大優勢,使得它在Java社區的寶貴貢獻:*開源。 Jikes是OSI認證的開源軟件。...

Ncurses

Ncurses 5.9

Ncurses程序(新的詛咒)庫是在詛咒系統V 4.0版,多了一個免費的軟件仿真。Ncurses的使用TERMINFO格式,支持墊和顏色以及多個亮點,形成字符和功能鍵映射,並擁有所有其他SYSV-詛咒地增強了BSD詛咒。Ncurses的代碼是GNU / Linux下開發的。它應該很容易地移植到任何ANSI /符合POSIX的UNIX。它甚至被移植到OS / 2...

pytest-快速檢查提供了pytest.mark.randomize函數用於產生隨機測試數據。安裝  easy_install的pytest-快速檢查或#  PIP安裝pytest,快速檢查快速啟動只是通過函數的簽名隨機標記。簽名表示一個元組包含的參數名稱和類型。@ pytest.mark.randomize((“I1”,“INT”),(“I2”,“INT”),ncalls = 1)DEF test_generate_ints(I1,I2): 通更複雜的數據結構:@...

PostGIS

PostGIS 2.1.5

PostGIS的是一個開源的,易於安裝,並免費分發的軟件項目,為PostgreSQL的對象 - 關係數據庫服務器的擴展。它已創建從地面實施為在PostgreSQL.Allows...

FreeBASIC Compiler

FreeBASIC Compiler 1.05.0 更新

FreeBASIC是一個開源的,免費分發和跨平台軟件項目設計作為一個獨立的和易於使用的BASIC編譯器,功能非常類似於Microsoft QuickBASIC中,VBDOS,PDS和QuickBASIC中編譯器語法/口譯和它&rsquo的; S下的幾個GNU /...

HOL

HOL 7

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

bc

bc 1.06

BC是一個任意精度的數字處理語言。語法類似於C,但不同的許多重大領域。它支持語句執行的互動。 BC是包含了POSIX P1003.2 /...

GETD

GETD 0.2

GETD是Linux應用Gtk2的視覺對USB存儲盤容易管理。它會自動安裝到合適的位置,並執行請求的操作 - EI執行如磁盤和HDD或轉儲從相機中的照片同步之間的文件命令腳本 - 由它自己。...

閱讀更多