AlphaUncommon
marcoeilers/nagini
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
- Owner
- marcoeilers (personal account)
- Stars
- Stars: 303
- Forks
- Forks: 16
- Language
- Python
- License
- MPL-2.0
- Created
- 2017
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Python
All Python repos- atian-create/lingzao-skillStars: 303PythonAlpha
- kelviq/tareStars: 303PythonAlpha
- Danielxu0208/rsi_evalStars: 303PythonAlpha
- pinax/symposionStars: 303PythonAlpha
- LMFDB/lmfdbStars: 303PythonAlpha
- fedora-infra/anityaStars: 303PythonAlpha