GitHub repository: runtimeverification/python-project-template
Primary language: Nix
Description: Cookiecutter template for Python projects