Similar to ProVerif
Cryptomator
Cryptomator
Tuta
Tuta (email)
Bitwarden
Bitwarden
Proton Mail
Proton Mail
ASP.NET Core
ASP.NET CoreAutoKey
AutoKeyAzure DevOps Server Express
Babel (トランスコンパイラ)
Babel (transcompiler)DuckStation
Fluentd
FluentdFolio
Ggplot2
Ggplot2Gunicorn
GunicornGVisor
GVisorLinux.Wifatch
Linux.WifatchMayaVi
MayaViNymミックスネット
The Nym mixnet
Open vSwitch
Open vSwitch
Org-mode
Org-mode
SAML 2.0
SAML 2.0Scalasca
Scalasca▲1 trendsTeam Foundation Server Express
Thingiverse
Thingiverse
オープンソース・メタバース・プロジェクト
OpenBVE
自由ソフトウェアの定義
The Free Software Definition自由ソフトウェア
Free software▲1 trends
ディープドリーム
DeepDream