GitHub repository: stasharrofi/pytyped
Primary language: Python
Description: A set of Python packages to enable as much type-driven development as possible in Python, i.e., start with defining your type and let repetitive mundane tasks be automated.