Raspberry Pi web enabled hot tub controller, supporting a heater (on/off or pool/spa control), air and water temperature thermistors, one two-speed pump, a second pump, (with hardware schematic). Includes freeze protection setting (run pump based on low air temperature) and daily filtering. Can continue to run pump (cool-down) for 15 minutes after heater is turned off.”

Link