GitHub repository: lemmy/BlockingQueue
Primary language: TLA
Description: Tutorial "Weeks of debugging can save you hours of TLA+".  Each git commit introduces a new concept => check the git history!