Jet.jl: static type checker with type inference for Julia (github.com/aviatesk)
JET employs Julia's type inference system to detect potential bugs and type instabilities.