Fan control on RaspberryPI with GPIO
Tiny script that control the temperature of the Fan with GPIO. It also include the setup for ArchLinuxArm package builder.
You will needs to setup a circuit to do that:
https://www.instructables.com/id/PWM-Regulated-Fan-Based-on-CPU-Temperature-for-Ras/