It's hard to know what plugins are available. It would be great to have a list of plugins people are creating (maybe a page on the project Wiki?).
There is a list of the official plugins which you can install by default in this repository: https://github.com/micro-editor/plugin-channel.
I'm not aware of any other plugins, though maybe there should be a way to list installable plugins from inside the editor.
Most helpful comment
There is a list of the official plugins which you can install by default in this repository: https://github.com/micro-editor/plugin-channel.
I'm not aware of any other plugins, though maybe there should be a way to list installable plugins from inside the editor.