Verified Software Toolchain
CertiKOS
Vellvm
Kami
Haskell Core Spec
QuickChick
CertiCoq
Cryptography
DeepSpec Web Server