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