device-independent
A python package for constructing device-independent randomness expansion protocols.