The FactMiners social-game developers' GitHub repository