Not that it has bindings to other tools, but it sounds like Dex[1] would be relevant to your interests!

[1]: https://github.com/google-research/dex-lang