streaminput (pypi): Extension of Python built-in input() with timeout
Keywords: input|timeout|python3