GitHub repository: ncredinburgh/QuickTheories
Primary language: Java
Description: Property based testing for Java 8