An experimental code analyzer for Julia. No need for additional type annotations. - View it on GitHub