I develop Performance Verification and Synthesis, which is a way to use formal methods to design systems that perform reliably
Stars
CoronaSurveys Monitoring the Incidence of COVID-19 via Open Surveys
Location for summaries and analysis of data related to n-CoV 2019, first reported in Wuhan, China
HOP: A proxy server to enable arbitrary protocols behind an HTTP proxy
Scripts and software for out-of-sequence shortening calculations