Welcome to CorSys!
CorSys is a demonstrative program synthesizer, which synthesizes best-effort Python expressions while weighting the chance for mistakes in given user outputs, using various metrics for mistake probability evaluation.
Please see the documentation and the website for further information.