Similar to Coq
萌え言語
ラダー・ロジック
Ladder logicRing (プログラミング言語)
Ring (programming language)Ruby
Ruby (programming language)システムソフトウェア
System softwareAlloy Analyzer
Alloy AnalyzerAppleK
Captive NTFS
Captive NTFSCLUSTERPRO
Daemontools
DaemontoolsDarling (ソフトウェア)
Darling (software)DESQview
DESQviewDriver Booster
DriverMax
E2fsprogs
E2fsprogsEBoostr
ForceWare
Ftune/Ptune
Hinemos
IBM TopView
IBM TopViewKbdApple
Linux-HA
Linux-HANDISWrapper
NDISwrapperNullsoft Scriptable Install System
Nullsoft Scriptable Install SystemObject Request Broker
Object request brokerQEMU
QEMUR-Studio
Sun Grid Engine
Oracle Grid Engine