Codes for finite-data analysis of DI randomness verification using Probability Estimation and Polytope-approximation Algorithms - View it on GitHub