GitHub repository: sqrlab/Threaded-Paws
Primary language: C#
Description: Serious game for learning about concurrency - thread interleavings, data races and deadlocks.