GitHub repository: moodmosaic/LightCheck
Primary language: F#
Description: LightCheck – A QuickCheck-based clone. LightCheck is currently a work in progress. In the meantime, you might want to look at dotnet-jack.