It's for C# and is a better property based testing library in terms of performance, shrinking and features. https://github.com/AnthonyLloyd/CsCheck