JumPHP IDE
Повноцінне IDE для ваших ігор: автодоповнення PHP, перехід до визначення, пошук використань, перейменування, пошук усюди, зміни й коміт, попередній перегляд гри, тести. Ваші зміни — чернетки (ті самі, що в онлайн-редакторі) до коміту, який надсилає їх на GitHub.