Similar to ProVerif
Shadowsocks
ShadowsocksSylpheed
SylpheedDash (暗号通貨)
Dash (cryptocurrency)Tails (オペレーティングシステム)
Tails (operating system)Tera Term
Tera TermTrueCrypt
TrueCryptTor
Tor (network)Neetcoin
Bitwarden
Bitwarden秘文
Proton Mail
Proton Mailメール (Apple)
Apple MailMetaMask
MetaMaskMozilla Thunderbird
Mozilla ThunderbirdMonero
MoneroRipple (支払いシステム)
Ripple (payment protocol)WhatsApp
WhatsApp自由ソフトウェア
Free software自由ソフトウェアの定義
The Free Software DefinitionAPBS (ソフトウェア)
APBS (software)ASP.NET Core
ASP.NET CoreAutoKey
AutoKeyAzure DevOps Server Express
Babel (トランスコンパイラ)
Babel (transcompiler)DuckStation
Fluentd
FluentdFolio
Ggplot2
Ggplot2