ソフトウェアダウンロードマップ

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

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

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

pxpvalidate は、XML パーサー PXP に基づいており、単に XML ファイルのエラーをチェックします。両方の整形と検証制約の違反が検出されます。名前空間を処理しても名前空間を使用してドキュメントを検証できます。

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

SMLserver は、aol サーバ、アメリカ オンラインによって提供される、大規模な動的な Web サイトの使用、オープン ソース マルチ スレッド Web サーバーの Web サーバー プラグインです。SMLserver ML の標準プログラムの効率的なスレッドの実行が可能で、さまざまな別のリレーショナル データベース管理システム (Rdbms) の Oracle、MySQL、PostgreSQL などへのアクセスの可能性を含む aol サーバ用の偉大な機能の多くを継承しています。

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

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

mathplot は対話型機能グラフです。方程式、不等式、タンジェント、見つける根、極値、2 関数、および大いに多くの交差点の表示をサポートしています。

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

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