PID controller, useful for e.g. coffee machines. - View it on GitHub