An implementation of Oz on top of Truffle and Graal - View it on GitHub