[quantified]

I haven't explored myself, but I would bet they have good Oracle compatibility for at least the subset of semantics they support.