GitHub repository: JetBrains/lincheck
Primary language: Kotlin
Description: Framework for testing concurrent data structures