Similar to Lean_(証明アシスタント)
Gecko
Gecko (software)Ghidra
GhidraMednafen
MednafenOpenFOAM
OpenFOAMPPSSPP
PPSSPPQt Creator
Qt CreatorRPCS3
RPCS3Snappy (データ圧縮)
Snappy (compression)Vita3K
WebKit
WebKitWinMerge
WinMergeChromium
Chromium (web browser)▲2 trendsMozilla Firefox
FirefoxLibreOffice
LibreOffice▲1 trendsApache License
Apache LicenseBuck (ソフトウェア)
Buck (software)GrapheneOS
GrapheneOSRuffle
Ruffle (software)Sigar
Sigar (software)▼-2 trendsZulip
ZulipGoogle パーソンファインダー
Google Person Finderフライデーナイトファンキン
Friday Night Funkin'Prometheus (ソフトウェア)
Prometheus (software)