Linux

Coq

Coq

Coqはプルーフアシスタントであり、厳密で正式な方法で数学的プルーフを記述し、コンピューターで正確性をチェックすることができます。
SendSpace

SendSpace

SendSpaceは、世界中の友人、家族、企業にメールの添付ファイルには大きすぎる大きなファイルを送信するための最良の方法です。
YamiPod

YamiPod

YamiPodは、Mac OS X、Windows、およびLinuxでiPodを効率的に管理するためのポータブルなフリーウェアアプリケーションです。iPodから直接実行でき、インストールの必要はありません。
HTTP Nowhere

HTTP Nowhere

HTTPを使用するWebサイトをHTTPSを使用するWebサイトにリダイレクトします
AllAccounts

AllAccounts

AllAccountsは、Firefoxが異なるユーザー名を使用してWebサイトに接続できるようにする拡張機能です。以前はMultifox 2（ベータ）として知られていました。
DomotiGa

DomotiGa

Gmail Offline

Gmail Offline

オフラインサポートを備えたGmailの代替インターフェース。
Grappl

Grappl

Grapplは、ポートフォワーディングなしで、事実上あらゆるタイプのサーバーをどこでもホストできるツールです！
DCrypt

DCrypt

DCryptは、複数のアルゴリズムをスマートに組み合わせた暗号化および復号化ツールです。
Worker

Worker

Workerは、UN * X上のXウィンドウシステム用のファイルマネージャーであり、要件は低くなっています（基本的にはX11ライブラリのみ）。
Live HTTP Headers

Live HTTP Headers

このプロジェクトの目標は、3つの方法でHTTPヘッダーに関する情報を追加することです。まず、Webページの[ページ情報の表示]に[ヘッダー]タブを追加します。
LaZagne

LaZagne

LaZagneは、ローカルコンピューターに保存されているパスワードを取得するために使用されるオープンソースアプリケーションです。
Modelio

Modelio

Modelioは、UML、BPMN、およびXMIとのモデル交換をネイティブにサポートするオープンソースモデリングツールです。
GNU Libtool

GNU Libtool

GNU Libtoolは、移植可能なコンパイル済みライブラリの作成に使用されるGNUビルドシステムのプログラミングツールです。
Gregarius

Gregarius

GregariusはWebベースのRSS / RDF / ATOMニュースアグリゲーターで、OPMLインポート/エクスポート、XHTML / CSS出力、AJAXベースのアイテムタグ付けシステムを備えています。
Cottontracks

Cottontracks

保持したい唯一のブラウザ履歴。
Linux Extcalc

Linux Extcalc

Extcalcは、直感的なQtベースのユーザーインターフェイス、マトリックス操作、2Dおよび3Dグラフのプロット、Cライクなスクリプトを使用したスクリプトを特徴とするLinux用の科学計算用電卓です。
I'm Feeling Lucky

I'm Feeling Lucky

アクセスアドレスバーから幸運を感じています！''と入力してTabキーを押し、ChromeのアドレスバーからGoogleの「I'm Feeling Lucky」にアクセスします。
eCleaner

eCleaner

このアドオンは、アンインストール後に拡張機能によって残されたすべての設定、一部の開発者が自分でクリアすることを気にしないすべてのゴミをクリアするために使用できます...
pChart

pChart

pChartは、アンチエイリアスチャートを作成するために設計されたPHPクラス指向のフレームワークです。このライブラリを作成する際に、品質と速度という2つの重要な軸に注目しました。