GitHub repository: leanprover-community/lean4game
Primary language: TypeScript
Description: Server to host lean games.