GitHub repository: yangdanny97/Tython
Primary language: Python
Description: A language that looks like Python but has static typechecking