JumPHP IDE
Een complete IDE voor je games: PHP-aanvulling, naar de definitie gaan, gebruik zoeken, hernoemen, overal zoeken, wijzigingen en commit, voorbeeld van de game, tests. Je wijzigingen zijn concepten (dezelfde als die van de online editor) tot de commit, die ze naar GitHub stuurt.