micro-editor/micro-editor.github.io micro-editor/micro-editor.github.io

  • Stars
    star
    101
  • Rank 336,349 (Top 7 %)
  • Language
    HTML
  • License
    Other
  • Created almost 8 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
micro-editor/micro-editor.github.io
github

micro-editor

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Website for the micro editor

More Repositories

1

plugin-channel

Official plugin channel for micro
223
star
2

go-plugin

Auto gofmt/goimports and gorename
Lua
43
star
3

updated-plugins

Vim Snippet
29
star
4

comment-plugin

Auto commenting/uncommenting
Lua
10
star
5

filetree-plugin

Lua
3
star