You can use either the pre-compiled firmware binary in each directory, or compile the firmware from source code by yourself.
Set up the Arduino development environment:
-
Download the Arduino core, and untar it to ~/.arduino15
-
Download the library that firmware rely on, and untar it to ~/Arduino
Then cd to the firmware directory, such as ADC/. Do ../build-f103.sh or ../build-ad.sh to compile the firmware
For GPIO and GPIO_INT firmware, different MCU uses different pins. You need to manually comment/uncomment the code that instructs which pins to use.