streamlit-typing-example Code examples for blogpost on streamlit + mypy, as well as a streamlit app that type-checks python code.