GitHub repository: mickaelosvaldo1999/tyPython
Primary language: Python
Description: A typed Python approach