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 https:

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 https://github.com/google-research/dex-lang