Similar to Coq
千手
SoftRAM
SoftRAMディスク圧縮
Disk compressionDataNucleus
DataNucleusデバイスドライバ
Device driverトランスコンパイラ
Source-to-source compilerBacula
BaculaPatch
Patch (Unix)HAL (ソフトウェア)
HAL (software)ファイル同期
File synchronizationプラットフォーム (コンピューティング)
Computing platformPrometheus (ソフトウェア)
Prometheus (software)マルチ・ブート・マネージャ
メッセージキュー
Message queueリモートPCミスターオン
Windows レジストリ
RegeditResilio Sync
Resilio Syncレンダリングエンジン
Layout (computing)ローダ
Loader (computing)Wise Care 365
Wine
Wine (software)オープンソースソフトウェア
Open-source softwareオープンソースのコーデックとコンテナフォーマット一覧
List of open-source codecsオープンソースのメディアプレーヤー一覧
7-Zip
7-ZipAdBlock
AdBlock▲1 trendsAdium
AdiumAgrep
Agrep