Software for COVID-19 pandemic mitigation