Comment by jeremija

I've been using ALE for years and even contributed to it: https://github.com/dense-analysis/ale