Simple Project List Software Map

5 - Production/Stable
7538 projects in result set
最后更新: 2011-07-12 22:17

STP

STP(Simple Theorem Prover) :プログラム解析ツール、テスト生成ツール、モデル検査器、バグ発見器、ハードウェア/ソフトウェアに対する形式検証ツール、インテリジェント fuzzer などの出力である論理式や制約についての制約ソルバ/決定手続き

最后更新: 2008-10-20 05:01

UTStatsDB

サーバー統計パーサーと Epic Games の Unreal Tournament シリーズ (UT、UT2003 および UT2004) のデータベース。現在のリリースとサポートのプロジェクト ページをご覧ください。http://www.utstatsdb.com

(Machine Translation)
最后更新: 2007-11-18 20:42

Firemox, Turn Based Strategy Game

マジック: ザギャザ リング LAN やインターネット、単独でまたは他のプレイヤーに対して (相手の ip アドレスが必要)。プログラムは、裁判官は: 真の規則と遊ぶ。Firemox は、Mac、Windows および Linux 上で動作、Java で書かれた別 TBS. をエミュレートできます。

(Machine Translation)
最后更新: 2005-01-14 04:26

DCR

このプログラムは、キャプチャし、インターネット上のラジオ局から音楽を収集の新しい方法を与えます。聞くことができるし、記録、同時にあなたのお気に入りのラジオもこの方法のような追放されたストリーム プロトコルを使用してオーディオの拡散を実現するために。

(Machine Translation)
最后更新: 2005-05-11 19:45

GNUitar

GNUitar はギターのプロセッサとしてあなたの PC を使用することができますギター効果ソフトウェアです。次の効果が含まれます: ワウ、ディストーション、リバーブ、エコー、遅延、トレモロ、ビブラートとコーラス/フランジャーを維持します。

(Machine Translation)
最后更新: 2011-02-15 02:10

DROID

DROID (Digital Record Object Identification)は、自動的なファイル形式識別ツールです。このツールは、PRONOM技術レジストリサービスのために米国立公文書館によってツールの開発が計画されました。

最后更新: 2008-06-24 22:19

mplayerplug-in for mozilla

Mplayer を使用して埋め込まれたメディアを再生する Mozilla のプラグイン

(Machine Translation)
最后更新: 2017-07-19 12:36

cosmogoniA Linux Live

cosmogoniA は「Linux ライブ」インストール可能なフェドーラ ・ ベースのバージョンを生成する目的で作成されます (リムーバブル メディア: cd-rom、dvd、usb) マルチ メディアでさえ、いくつかのグラフィカル ユーザー インターフェイスをお楽しみください;) 簡単でアプリケーションのすべての種類の完全な

(Machine Translation)