OCaml

OCaml 4.02.3 更新

這是一個實現了ML語言的基礎上，Caml中輕方言擴展了一個完整的基於類的對象系統和強大的模塊系統標準ML的風格。目的Caml中包括兩種編譯器。一個產生字節碼，然後通過一個C程序解釋。這個編譯器跑得快，可以移植到幾乎任何32位或64位Unix平台上，並產生緊湊的代碼中等內存需求。生成的程序的性能是一個bytecoded實現相當不錯的。這個編譯器既可以用於作為一個獨立的，面向批處理的編譯器，產生獨立的程序，或者作為互動，頂層為基礎的系統。其他編譯器生成高性能的本機代碼的數量的處理器。編譯需要更長的時間和更大的生...

1 Oct 15 在 開發工具腳本, 編程工具腳本
Web
閱讀更多
CardioViz3D

CardioViz3D 1.5

CardioViz3D是一個免費軟件，專門用於動態醫療數據的可視化和處理。支持（DICOM，分析，VTK，NIFTI），以及網格文件（VTK格式）在大範圍的圖像格式。圖片/網動態序列可以導入或構造。關於網格動態標量場可以顯示出來。興趣點可以動態地跟隨。提供了網狀排列，表面生成和許多其他的事情交互式工具。 1.5版包括未指定的更新 什麼是此版本的新： 1.5版本包括未指定的更新 要求： Windows...

11 Jul 15 在 教育和科學軟件, 學軟件
Windows
閱讀更多
LDPC/LDGM

LDPC/LDGM 2.1

LDPC / LDGM是llarge塊前向糾錯編解碼庫。它比傳統的Reed-Solomon解碼器顯著更快。傳統的小塊的前向糾錯（FEC）碼，如里德 -...

2 Jun 15
Linux
閱讀更多
Axel

Axel 0.4

這是代數幾何建模，其目的是為客戶提供“代數模型”工具的操作和計算與隱式和參數曲線或曲面。其主要目的是要嵌入SYNAPS代數功能，以提供新的建模技術。其主要functionnalities是： 在拓撲結構：計算曲線和曲面的拓撲認證與隱式或參數表示 在交叉路口：計算的隱式或參數曲線或曲面的交點 在自相交：計算自相交參數曲面的無論其參數 在奇點：計算代數曲面的奇點 在微分建模：導數曲線，繪製表面 設置理論模型：布爾運算，安排 什麼在此版本中是新的...

3 Jan 15 在 教育和科學軟件, 數學軟件
Mac
閱讀更多
熱門軟件