GitHub repository: spylang/spy
Primary language: Python
Description: SPy language