GitHub repository: paodelonga/micro-run
Description: F5 to save & run, F12 to make, F9 make in background. Plugin for Micro editor