From the "Installing Logisim" section:

  Link: https://pan.baidu.com/s/19tOKo1FD-zAyiIquhIKh1A?pwd=l5j2
  Passcode: l5j2

Without a proper proxy setup, access to GitHub is often painfully slow from mainline China.

But the choice of Baidu Pan is indeed questionable: You need a Chinese phone number in order to sign up, which is out of reach for many expats living overseas. I don't get why they can’t just mirror it on a university server.