#[Welcome to] Coq's Gitter, call by name and don't be afraid. Check out our new Discourse! https://coq.discourse.group/
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