A Python gevent driven stratum mining server