Automates checking type stability of Julia functions
An implementation of the Petra Object Model in Julia