プロジェクトシンプルリスト ソフトウェアダウンロードマップ

30 件のプロジェクトが条件に合致します
最終更新日: 2008-03-14 01:44

Unison

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

最終更新日: 2014-03-16 20:55

FFTW

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

最終更新日: 2003-04-03 14:23

MyPhpMoney

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

(機械翻訳)
データベース環境: SQLベース
オペレーティングシステム: OS非依存
プログラミング言語: ML, PHP
最終更新日: 2005-12-06 13:52

MLton

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

最終更新日: 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は関数型言語の一つ)

最終更新日: 2003-05-31 15:28

GeneWeb

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

(機械翻訳)
最終更新日: 2012-07-28 04:52

HOL

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

(機械翻訳)
最終更新日: 2001-05-10 16:18

mGTK

mGTK は、GTK + 標準 ML からアクセスできるようにするグルー コードです。SML GUI 機能をアプリケーションに追加するプログラマのための便利な方法を提供しています。mGTK は、モスクワ ML と GTK + の両方がサポートされているすべてのプラットフォームで動作するはずです。

(機械翻訳)
最終更新日: 2005-06-27 12:39

AK Web Dyn Designer

'AK Web Dyn デザイナー' 作成および 3 層モデルの PHP、XML、および JDBC の動的 Web ページを展開するためのツールです。ドラッグとユーザーフレンドリーな GUI を提供します ' n ドロップ機能なしであらゆる特定のプログラミングの知識を持っているユーザーが必要な。クライアントとサーバーで構成されます。クライアントは Web フォーム Web コンポーネントへのクエリに関連付ける SQL クエリ ビルダーを使用開発に使用されます。サーバーは、クライアントから展開を受け入れるし、Web ブラウザーにページを提供しています。

(機械翻訳)
データベース環境: SQLベース
オペレーティングシステム: OS非依存
プログラミング言語: Java, ML, PHP
ユーザインタフェース: Web環境
最終更新日: 2002-05-20 12:00

XSL Preprocessor

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

(機械翻訳)
最終更新日: 2001-07-04 14:35

FaCiLe

安易な OCaml で書かれた整数有限領域上の制約プログラミング ライブラリです。作成し、有限ドメイン変数、算術式、(おそらく非線型) の制約を操作するすべての通常の設備では、組み込みのグローバルな制約と検索目的。また、簡単にユーザー定義の制約と目標 (再帰的なものを含む)、OCaml 高次ブラウニアンラフパスの普及に活用してユーザーの簡単で柔軟なインターフェイスを提供する構築することができます。

(機械翻訳)
オペレーティングシステム: OS非依存
プログラミング言語: ML
ユーザインタフェース: ツールキット/ライブラリ
最終更新日: 2003-08-20 06:33

JSON for Objective Caml

Objective Caml の JSON は Objective Caml のプログラミング言語の !JavaScript オブジェクト表記法の実装です。JSON を XML に簡単より薄い代替として提示軽量データ インターチェンジ形式です。JSON の詳細については、http://www.crockford.com/JSON/index.html を参照してください。

(機械翻訳)
オペレーティングシステム: OS非依存
プログラミング言語: ML
ユーザインタフェース: ツールキット/ライブラリ
最終更新日: 2004-02-10 14:00

bibgrep

Bibgrep インデックスおよび効率的に !BibTex ファイルを検索します。その使用法はコマンド grep に似ており、クエリを Google のような構文を使用します。Bibgrep 各 !BibTex ファイルのそれに触れると内で結果を保つため、インデックスが作成されます"〜/. bibgrep.idx"(既定値) によって。それの時計の変更日付と元の !BibTex ファイルのサイズおよび更新は (および必要に応じてそのインデックス削除)。

(機械翻訳)
最終更新日: 2002-02-06 05:09

ML Kit

ML Kit は、ML の標準的なプログラミング言語のコンパイラです。

(機械翻訳)
最終更新日: 2003-04-02 03:22

WDialog

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

(機械翻訳)