GitHub repository: marcoeilers/nagini
Primary language: Python
Description: Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.