Plugins on the list:

WP Editor is a plugin for WordPress that replaces the default plugin and theme editors as well as the page/post editor.

Categories: General

WPIDE is a powerful file manager and code editor for WordPress with tabs, code completion, and full access to the entire wp-content folder.

Categories: General