# marcoeilers/nagini

<https://repo.masters-masters.com/repos/marcoeilers/nagini>

[Accueil](https://repo.masters-masters.com/) › [marcoeilers](https://repo.masters-masters.com/owners/marcoeilers) › [nagini](https://repo.masters-masters.com/repos/marcoeilers/nagini)

marcoeilers/nagini, dépôt open source à 303 étoiles sur GitHub. Carte Alpha de RepoMasters. Nagini is a static verifier for Python 3, based on the Viper…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [marcoeilers](https://repo.masters-masters.com/owners/marcoeilers) |
| Étoiles | 303 |
| Forks | 16 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | MPL-2.0 |
| Création | 2017 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [marcoeilers/nagini](https://github.com/marcoeilers/nagini) |

## Fiche du dépôt

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## D’autres dépôts Python

- [shawn0728/OpenSearch-VL · ★ 303 · Python · Alpha](https://repo.masters-masters.com/repos/shawn0728/OpenSearch-VL)
- [1190fasheqi/dafeiyu-pet · ★ 303 · Python · Alpha](https://repo.masters-masters.com/repos/1190fasheqi/dafeiyu-pet)
- [kelviq/tare · ★ 303 · Python · Alpha](https://repo.masters-masters.com/repos/kelviq/tare)
- [pinax/symposion · ★ 303 · Python · Alpha](https://repo.masters-masters.com/repos/pinax/symposion)
- [LMFDB/lmfdb · ★ 303 · Python · Alpha](https://repo.masters-masters.com/repos/LMFDB/lmfdb)
- [lilydjwg/fcitx.vim · ★ 303 · Python · Alpha](https://repo.masters-masters.com/repos/lilydjwg/fcitx.vim)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.