GitHub repository: susliko/lotos
Primary language: Scala
Description: A library for testing concurrent data structures that you lacked!