Develop and Download Open Source Software

OR search

Software Download Map

  Database Environment   Development Status   Intended Audience
  License   Natural Language   Operating System
  Programming Language   Topic   User Interface
Below is a map of project categories. To find a project, start by clicking on a category to the right. You can then dig further into the category by selecting from the list on the left. (Note that the root level category on this page is on the right - the second level is on the left.)


30 projects in result set.
Displaying 20 per page. Projects sorted by activity ranking.
 
<1> <2>

Detail info: Show all
DOWNLOAD
LastUpdate: 2014-03-16 20:55
FFTW

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

Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2008-03-14 01:44
Unison

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

Detail info
Activity Percentile: 59.50
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は関数型言語の一つ)

Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2003-05-31 15:28
GeneWeb

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2003-04-03 14:23
MyPhpMoney

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2005-12-06 13:52
MLton

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

Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2012-07-28 04:52
HOL

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2002-03-07 13:14
SwiftSurf

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2003-04-02 03:22
WDialog

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2002-04-29 06:23
Lazy-L

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2002-05-20 12:00
XSL Preprocessor

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2004-03-13 09:00
BBSzilla

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2006-09-18 05:06
Alice ML

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

Detail info
Activity Percentile: 59.50
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)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2004-12-29 16:34
Dynamic Web site tools for Standard ML

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2001-07-16 20:16
pxpvalidate

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2002-02-06 05:09
ML Kit

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2003-02-22 10:09
mathplot

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 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 を参照してください。

(Automatic Translation)
Detail info
Activity Percentile: 59.50
DOWNLOAD
LastUpdate: 2004-02-10 14:00
bibgrep

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

(Automatic Translation)
Detail info
Activity Percentile: 59.50
30 projects in result set.
Displaying 20 per page. Projects sorted by activity ranking.
 
<1> <2>