This is a modification of RandPi. The diffrence is that here the data transport is done via ssh forwarding instead of a custom http service.
See the C't article Mit dem Raspberry Pi Zufallszahlen erzeugen und verteilen for more information (in german).