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


< >

micro-editor is an editor created in 2016.

#727on PLDB 8Years Old
Download source code:
git clone
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