GitHub is home to over 40 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Csmith, a random generator of C programs
Main hypothesis.works website
A very early days prototype of Hypothesis for Ruby
Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.