GitHub repository: ruler501/deal
Primary language: Python
Description: Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.