# BerkeleyLearnVerify/VerifAI

<https://repo.masters-masters.com/repos/BerkeleyLearnVerify/VerifAI>

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

BerkeleyLearnVerify/VerifAI, dépôt open source à 220 étoiles sur GitHub. Carte Prototype de RepoMasters. VerifAI is a software toolkit for the formal design…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [BerkeleyLearnVerify](https://repo.masters-masters.com/owners/BerkeleyLearnVerify) |
| Étoiles | 220 |
| Forks | 56 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | BSD-3-Clause |
| Création | 2019 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [BerkeleyLearnVerify/VerifAI](https://github.com/BerkeleyLearnVerify/VerifAI) |

## Fiche du dépôt

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Python

- [roy-tong/Verovo · ★ 220 · Python · Prototype](https://repo.masters-masters.com/repos/roy-tong/Verovo)
- [Jaasssoooonnnnn/FirstLight\_CR · ★ 220 · Python · Prototype](https://repo.masters-masters.com/repos/Jaasssoooonnnnn/FirstLight_CR)
- [hety0211/lumen-raw · ★ 220 · Python · Prototype](https://repo.masters-masters.com/repos/hety0211/lumen-raw)
- [mfenniak/pg8000 · ★ 220 · Python · Prototype](https://repo.masters-masters.com/repos/mfenniak/pg8000)
- [bdarnell/django-tornado-demo · ★ 220 · Python · Prototype](https://repo.masters-masters.com/repos/bdarnell/django-tornado-demo)
- [python-quantities/python-quantities · ★ 220 · Python · Prototype](https://repo.masters-masters.com/repos/python-quantities/python-quantities)

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