GitHub repository: renatoathaydes/specks
Primary language: Ceylon
Description: Specks enables a different way to check that your Ceylon code works