AlphaPeu commune
marcoeilers/nagini
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
- Propriétaire
- marcoeilers (compte personnel)
- Étoiles
- Étoiles : 303
- Forks
- Forks : 16
- Langage
- Python
- Licence
- MPL-2.0
- Création
- 2017
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Python
Tous les dépôts Python- atian-create/lingzao-skillÉtoiles : 303PythonAlpha
- kelviq/tareÉtoiles : 303PythonAlpha
- Danielxu0208/rsi_evalÉtoiles : 303PythonAlpha
- pinax/symposionÉtoiles : 303PythonAlpha
- LMFDB/lmfdbÉtoiles : 303PythonAlpha
- fedora-infra/anityaÉtoiles : 303PythonAlpha