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. The service appears to be offered free of charge at this time.
Screenshot courtesy of lalal.ai