GitHub repository: olgalupuleac/kotlinx-lincheck
Primary language: Kotlin
Description: Framework for testing concurrent data structures for correctness