OFFICIAL PAGE: lalal.ai
Lalal.ai is a web-based service for the separation of vocals from music. It allows you to upload a source file, which will be separated into 2 stems, karaoke (instrumentation) and vocals. The service claims to provide superior results through the use of a very large set of training data. Several pricing options are offered for the service: Lite, Professional, and High Volume.
Screenshot courtesy of lalal.ai