Welcome to Coq's Gitter, call by name and don't be afraid (see coq/Sphinxing for Sphinx-related questions).
Language with Dependent Types
Intermediate Lambda Assembler
Free Email Verification for Symfony http://kickbox.io
Demo Verification Engineering: Overchecken.
Ruby Gem for In-App Purchase Receipt Verification
Java library for verification of method input parameters
Easy, extensible NSURLRequest verification