micro: A modern and intuitive terminal-based text editorgithub.com/zyedidia2 pointspykello8 months ago