manufactured by HMD Global. It had previously been developed for iOS, Windows 10 Mobile, Windows Phone 8.1, BlackBerry, Symbian, and Bada.

Opera Mini requests web pages through Opera Software's compression proxy server.