Develop and Download Open Source Software

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

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

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は関数型言語の一つ)

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

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

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

Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.

WDialogは、システムダイアログ中心のWebアプリケーションを作ることです。それが、GUIを、行動を発見したウィジェットの模倣環境のHTTP行為のHTML /。それが、独自のXMLベースのUI言語を使用して、そのコールバックは言語プログラミングの正常なコードで：いずれかO'CamlやPerl。 WDialogはバリアントのMLに書き込まではObjective Caml。

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

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

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

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

PXPは、プログラミング言語の検証用XMLパーサはObjective Camlです。これは厳密に完全なXML 1.0標準を実装します。 XMLインスタンスは、オブジェクトのツリーとして表されます。また、DTDにアクセスすることです。 PXPは"ポリモーフィックXMLパーサを"と、最も有用な特性を強調する：このAPIは、ポリモーフィックとなるようなさまざまなクラスは要素の種類を格納するために使用されます設定することができます。 PXPは、ユーザーがマニュアルと例いくつかの、心のCGIプログラミングで設計されているしかし、この分野に限らずが含まれて。

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

レイジー- Lはテクニックをグラフ化コンビネータのですインタプリタに使用して、純粋な型指定のないラムダ計算。これは、計算ラムダと勉強コンビネータロジックこれらの有用として教育ツールです。

mathplotは、インタラクティブ機能のグラフ生成されます。これは、タンジェントを、根を、極、および2つの機能の交差点と、検索表示方程式、不等式をサポートしてはるかに。

Bibgrepインデックスを効率的に形式BibTexファイルを検索します。その使用は、コマンドをgrepすることと似ているクエリは、Googleのような構文を使用します。 Bibgrep各BibTeX用に触れると、ファイルのインデックスを作成し、以内にその結果を維持"〜/。bibgrep.idx"のデフォルト設定（）で。これには、変更の日付とオリジナルのBibTeXファイルのサイズの時計（と）必要に応じて、そのインデックスを削除する更新されます。

pxpvalidateは、XMLチェックXMLです基づいてパーサPXP、単にエラーをします。検証制約との両方の違反が整形式発見された。それは、名前空間を処理することも名前空間を検証使用して文書を。

MLのキットは、MLのプログラミングのための、コンパイラ言語Standard。

Camlserv は、高度にインタラクティブな Web ページまたはブラウザ ベースのオンライン ゲームの Ocaml で書かれた軽量の Web サーバーです。サーバーは既に MySQL データベースへの高速のフロント エンドとして使用できます。