ninja-ide's repositories
ninja-ide-web
Web site for NINJA-IDE
ninja-ide-translations
Translations for NINJA-IDE and website
ninja-ide-plugins
Official Plugins for NINJA-IDE
ninja-ide-documentation
Documentation for NINJA-IDE
plugins_plugin_creator
This plugin helps users create new plugins for ninja