DeepSpec
 
The Science of Deep Specification
Verified Software Toolchain
CertiKOS
Vellvm
Kami
Haskell Core Spec
QuickChick
CertiCoq
Cryptography
DeepSpec Web Server
CertiCoq
CertiKOS
Cryptography
DeepSpec Web Server
Haskell CoreSpec
Kami
QuickChick
Software Foundations
Vellvm
Verified Software Toolchain