py2erg (cargo): A Python -> Erg converter
Keywords: language-server|python|rust|static-analysis|type-checker