SignalingDimension (julia): Certify the classical simulation cost of black-box systems. 
Keywords: bell-inequalities|convex-polyhedron|information-theory|quantum-information