The unofficial WordPress Plugin Directory
TinyMCE Preformatted plugin will enable to insert preformatted text like <pre>…</pre> to WordPress Visual Editor.