Similar repositories to knowsuchagency/jupyter-mypy: