Top 1,000 Features Creators Events Podcasts Extensions Blog Explorer CSV Download

micro-editor

< >

micro-editor is an editor created in 2016.

#727on PLDB 8Years Old
Download source code:
git clone https://github.com/zyedidia/micro
HomepageSource Code

A modern and intuitive terminal-based text editor


View source

- Build the next great programming language About Resources Acknowledgements Part of the World Wide Scroll