Simple and convergent IDE
maui
Strike is a simple and covergent IDE that works on Linux desktop and mobile computers.