code games. learn Python.
Code style checker. Not a static type checker! Integrates well with different IDE's, like Pycharm