https://mypy-lang.org/
mypy - Optional Static Typing for Python
Mypy is an optional static type checker for Python.
optional static typingmypypython
https://github.com/dibyendumajumdar/ravi
GitHub - dibyendumajumdar/ravi: Ravi is a dialect of Lua, featuring limited optional static typing,...
Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers - dibyendumajumdar/ravi