How to download and setup koopa
Open terminal and run command
git clone https://github.com/pku-minic/koopa.git
git clone is used to create a copy or clone of koopa repositories.
You pass git clone a repository URL. it supports a few different network protocols and corresponding URL formats.
Also you may download zip file with koopa https://github.com/pku-minic/koopa/archive/master.zip
Or simply clone koopa with SSH
[email protected]:pku-minic/koopa.git