GitHub repository: DieProgrammIDE/PINGOWebApp
Description: source code of the PINGO web app - (see readme, wiki and http://blogs.upb.de/pingo/opensource/ for more info)