Linux

z3

z3

Z3は、Microsoft Researchの定理証明者です。
Jorani

Jorani

Joraniは、AGPL v3ライセンスの下でPHP / MySQLで開発された休暇管理システムです。
Autodesk Softimage

Autodesk Softimage

Autodesk Softimage（旧SOFTIMAGE | XSI）は、視覚効果とゲーム制作のための完全な3Dソフトウェアです。
Devuan

Devuan

Devuanは、GNU / Linuxディストリビューションの...
weex

weex

Weexは、Webサイトまたはその他のFTPアーカイブをリモートで管理するタスクを自動化するように設計されたユーティリティです。
go-git

go-git

go-gitは、純粋なGoで書かれた高度に拡張可能なgit実装ライブラリです。
EasyHotspot

EasyHotspot

EasyHotspotは、使いやすいオープンソースのホットスポット管理システムです。
mapmywindows

mapmywindows

Xウィンドウシステムでウィンドウを表示および非表示にする小さなプログラム。ほとんどのLinuxディストリビューションはXウィンドウシステムを備えたディスプレイサーバーを使用しているため、このプログラムを使用してウィンドウを簡単に非表示および表示できます。
Islartist

Islartist

Islartist-イスラム芸術家が彼らのイスラム芸術をアップロードし、彼らの創造性、物語を共有し、他のイスラム芸術家、イスラム芸術、イスラム装飾、建築、書道と通信できるイスラム芸術のためのソーシャルネットワーク。
Extempore

Extempore

Extemporeは、リアルタイムシステムのプログラミングをリアルタイムでサポートするように設計されたプログラミング言語およびランタイム環境です。
sash

sash

多くの組み込みコマンドを備えたスタンドアロンのシェル。
MyChat

MyChat

MyChatは、LANおよびインターネットで動作するインスタントメッセンジャーです。遅い接続でも信頼できます。あまり多くのシステムリソースを必要としないでください。
X-moto

X-moto

X-Motoは挑戦的な2Dモトクロスプラットフォームゲームで、ゲームプレイで物理学がすべて重要な役割を果たします。
Hectane

Hectane

構成と使用が非常に簡単で、電子メールの送信に使用される単純なHTTP APIを提供するSMTPクライアント。
Wireless Tools

Wireless Tools

SKDownloader

SKDownloader

SKDownloaderは無料のトレントクライアントおよびダウンロードアクセラレータです。
HTTPZ

HTTPZ

HTTPZは、控えめで軽量であることを意図しています。非常に構成可能であり、SSLストリッピング攻撃から防御するための組み込みの方法がいくつかあるため、他のいくつかの選択肢よりも若干安全です。
uPlexa

uPlexa

IoTデバイスの大量計算能力をインセンティブにして、匿名のブロックチェーン支払いの手段を形成します。
Chrome Data Saver

Chrome Data Saver

Googleサーバーを使用してアクセスするページを最適化することにより、データ使用量を削減します。
Comindwork

Comindwork

Comindworkは、知識集約型のコラボレーションのための革新的なSaaSプロジェクト管理ソフトウェアをオンラインで提供しています。