GitHub repository: KisaragiEffective/erg
Description: A Python-compatible statically typed language