GitHub repository: KengoTODA/spa-aarhus-univ
Primary language: Python
Description: Japanese translation of the Static Program Analysis course in Aarhus Univ.