Project Simple List Software Download Map

30 projects in result set
Average
5.0
3 Reviews
Download
LastUpdate: 2014-03-16 20:55

FFTW

FFTWは高速なFFTのCライブラリです。複素数,実数,対称,多次元,並列変換をサポートし,任意の配列長で効率的な計算を行うことができます。多くの場合において他のフリーで入手できるFFTよりも高速です。ベンダーによりチューニングされたライブラリに勝るとも劣らない性能を有しています(ベンチマーク結果はホームページをご参照下さい)。性能達成のため,ノベル・コード・ジェネレーションとランタイムでの自己最適化を使用しています(他にも多数の職人芸を使用しています)。

Average
5.0
1 Reviews
Download
LastUpdate: 2008-03-14 01:44

Unison

Unisonは、UnixとWindows用のファイル同期ツールです。これは、ファイルやディレクトリの集まりの2つのコピーを異なるホスト(又は同じホストの異なるディスク)に格納し、個別に編集でき、各レプリカでの変化をもう一方へ波及することにより、データを最新の状態を維持できます。Unisonは、分散ディレクトリ構造の両方のレプリカへの更新を扱うことができます。更新は、衝突しないように自動的に伝播されます。更新の衝突は検出されて表示されます。Unisonは、直接ソケット・リンク又はrsh/sshトンネルを介して通信できます。これは、効率的にネットワーク帯域幅を使用します。

Average
0.0
0 Reviews
Download
LastUpdate: 2008-04-30 23:19

SML/NJ

sml/nj(Standard ML of New Jersey)はコンパイラ、コンパイルマネージャ、Standard ML用のライブラリから成ります。CML(並列 ML)と eXene(CMLの Xベースのツールキット)を含みます。コンパイラは、最もポピュラーなアーキテクチャ(Intel x86、SPARC、Alpha、Mips、HP-PA、PowerPC)に対して効率の良いコードを生成し、Unix、Linux、Windows(95、98、NT)下で実行できます。 (訳者注:MLは関数型言語の一つ)

Average
1.0
1 Reviews
Download
LastUpdate: 2003-05-31 15:28

GeneWeb

!GeneWeb はその系譜データ、Web 上で公開し人のためのシステムです。ローカルで使用もできます (ネットに接続されていない) 通常の系図プログラムとして。それ血族コンピューティングと関係の非常に効率的な手法を使用して、複数の言語を話す、既存の Web サーバー (CGI) または独自の内部サーバーを使用するスタンドアロンと組み合わせて実行することができます。

(Automatic Translation)
Average
0.0
0 Reviews
Download
LastUpdate: 2003-04-03 14:23

MyPhpMoney

!MyPhpMoney は、Web インターフェイスを介して銀行口座を管理する PHP で書かれたツールです。[/projects/freshmeat_mysql/ MySQL] を使用してデータを格納して、PHPLIB (テンプレート、セッション、およびデータベースの抽象化) に依存しています。

(Automatic Translation)
Average
0.0
0 Reviews
Download
LastUpdate: 2005-12-06 13:52

MLton

MLtonはプログラム全体を最適化する、Standard ML言語コンパイラです。これは、優秀な実行時パフォーマンスを示すスタンドアロンの実行可能ファイルを生成し、フル SML 97言語をサポートし、完全なベースライブラリを備えています。また、高速 C FFI、ソースレベルの時間と割当てプロファイリング、および多くの便利なライブラリもあります。

Average
0.0
0 Reviews
Download
LastUpdate: 2003-04-02 03:22

WDialog

WDialog は、ダイアログを中心とした Web アプリケーションを作成するシステムです。Gui で発見したウィジェットの振る舞いを模倣するが、HTML/HTTP 環境で機能します。独自の XML ベースの UI の言語を使っていますが、コールバックは、通常のプログラミング言語でコーディングされて: O'Caml または Perl のいずれかです。WDialog は Objective Caml ML バリアントに書き込まれます。

(Automatic Translation)
Average
0.0
0 Reviews
Download
LastUpdate: 2012-07-28 04:52

HOL

高い順序ロジック (HOL) はどの定理を証明することができますと実装プルーフ ツール プログラミング環境です。組み込みの決定プロシージャおよび定理証明器自動的に多くの単純な定理を確立できます。Oracle メカニズムは BDD エンジンや土などの外部プログラムにアクセスできます。HOL 4 は控除、実行、およびプロパティのチェックの組み合わせを実装するためのプラットフォームとして特に適しています。

(Automatic Translation)
Average
5.0
1 Reviews
Download
LastUpdate: 2002-03-07 13:14

SwiftSurf

!SwiftSurf は、物事の多くを行うことができます、HTTP プロキシです。スパイ、フィルター、およびブラウザーが送信する、回答を受け取るだけでなく、HTTP 要求を変更することができます。その可能な限り使用広告、特定のドメインへのアクセスを制限する、またはクッキーを抑制するフィルタ リングなどがあります。

(Automatic Translation)
Average
0.0
0 Reviews
Download
LastUpdate: 2002-04-29 06:23

Lazy-L

Lazy L は、combinator グラフ還元技術を使用して純粋な型指定されていないラムダ計算用インタプリタです。これらのコンビネータ論理とラムダ計算を勉強のための教育ツールとして便利です。

(Automatic Translation)
Average
0.0
0 Reviews
Download
LastUpdate: 2002-05-20 12:00

XSL Preprocessor

XSPP (XSL プリプロセッサ) XSLT スタイル シートを作成するための代替構文を提供しています。それ alo マクロの展開をサポートし、OCaml で書かれています。

(Automatic Translation)
Average
0.0
0 Reviews
Download
LastUpdate: 2004-03-13 09:00

BBSzilla

BBSzilla は、Mozilla ベースのブラウザー [/projects/freshmeat_firefox/ Firefox] Mozilla アプリケーション スイートなどの拡張機能です。ブラウザー ホットライン サーバーなど、TCP/IP を利用する掲示板システムに接続することができます。マルチ ユーザー チャット、シングル ユーザーのサーバー側でなく、メッセージングおよび P2P ファイル共有、スレッド ニュース、シングル スレッド掲示板などの機能があります。

(Automatic Translation)
Average
0.0
0 Reviews
Download
LastUpdate: 2006-09-18 05:06

Alice ML

Alice MLは関数型プログラミング言語であり、並列、分散、オープンなシステムのタイプセーフなプログラミングを広範にサポートすることで、静的型付け ML言語の閉じた関数世界を豊かなものにしています。また、Oz/Mozartの伝統の中で最先端の制約プログラミング技術も特徴として持っています。Alice MLの大部分は Standard MLの保守的な拡張です。

Average
0.0
0 Reviews
Download
LastUpdate: 2002-03-15 18:33

Polymorphic XML Parser

PXP はプログラミング言語 Objective Caml について検証 XML パーサーです。完全な厳密に実装する XML 1.0 標準。XML インスタンスは、オブジェクトのツリーとして表されます。DTD にアクセス可能です。PXP「ポリモーフィックな XML パーサー」を意味し、その最も有用な特性を強調する: API がポリモーフィックであり、異なるタイプの要素を格納するさまざまなクラスが使用されるように構成することができます。PXP は、ユーザーズ マニュアルといくつかの例が含まれていると CGI プログラミングの念頭に設計されている、しかしこの分野に限定されていません。

(Automatic Translation)
Average
0.0
0 Reviews
Download
LastUpdate: 2004-12-29 16:34

Dynamic Web site tools for Standard ML

このプロジェクトは動的でタイプ セーフな静的にチェック ページ生成 PHP スタイルの Web サイトを作成する必要がありますすべてのソフトウェアを含め、ML の標準的なプログラミング言語を使用して Web サイトを開発するためのツールを収集します。含まれています SQL データベースにアクセスするためのライブラリ。

(Automatic Translation)