GitHub repository: Ghasak/traffic-intersection
Primary language: Python
Description: This is an example of the design-by-contract method