I personally liked their Code virtualizer. And it's under active development. Sorry to hear about Theia, I haven't run into it yet.