py-herbie-data is a stub port
