Similar to ProVerif
AutoDock
AutoDock
AutoHotkey
AutoHotkey
Automake
Automake
Autotools
GNU Autotools
Avidemux
Avidemux
Basilisk II
Basilisk IIBrain Fuck Scheduler
Brain Fuck Scheduler
Calibre
Calibre (software)
Chrony
Chrony
Coccinelle (ソフトウェア)
Coccinelle (software)
Code::Blocks
Code::Blocks
CodeLite
CodeLite
Completely Fair Scheduler
Completely Fair Scheduler
Concurrent Versions System
Concurrent Versions System
Cyberduck
CyberduckCydia
CydiaDarik's Boot and Nuke
Darik's Boot and NukeDarling (ソフトウェア)
Darling (software)
Dev-C++
Dev-C++Dietlibc
Dietlibc
Dpkg
Dpkg
Drupal
Drupal
Eclipse Theia
Eclipse TheiaElement (ソフトウェア)
Element (software)FeatherPad
FeatherPad
FFTW
FFTW
Fink
Fink (software)
Free Pascal
Free Pascal