GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
GGP Game Repository
The General Game Playing Base Package
GGP Round-Robin Server
General Game Playing Website
GGP Spectator Server
Common libraries for the GGP.org systems running on Google AppEngine.