User blog comment:BertH/New VisualEditor now available in Labs/@comment-26391060-20131204031721/@comment-5973717-20131204214420

Actually, it uses whatever kernel is provided by the operating system. Opera 15+ uses Chromium's rendering engine and scripting engine.