Opera Mini es un micronavegador para dispositivos móviles creado por la empresa noruega Opera Software.