PLDB Measures Concepts

micro-editor

< >

micro-editor is an editor created in 2016.

Source code:

git clone https://github.com/zyedidia/micro

#722on PLDB

8Years Old

A modern and intuitive terminal-based text editor

micro-editor website
micro-editor is developed on GitHub and has 19,747 stars
micro-editor first developed in https://github.com/zyedidia/micro/issues

PLDB - Build the next great programming language · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Day 605 · feedback@pldb.io · Logout