Opera Mini, est le pendant nomade du célèbre navigateur Web développé par la société norvégienne Opera Software. Fonctionnant sur les appareils mobiles compatibles Java, il se caractérise par une certaine fluidité dans la navigation.