#[Welcome to] Coq's Gitter, call by name and don't be afraid.
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