PrototypeCommune
BerkeleyLearnVerify/VerifAI
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
- Propriétaire
- BerkeleyLearnVerify (organisation)
- Étoiles
- Étoiles : 220
- Forks
- Forks : 56
- Langage
- Python
- Licence
- BSD-3-Clause
- Création
- 2019
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Python
Tous les dépôts Python- gnhen/midscrollÉtoiles : 220PythonPrototype
- roy-tong/VerovoÉtoiles : 220PythonPrototype
- datamllab/OpenEBFMÉtoiles : 220PythonPrototype
- mfenniak/pg8000Étoiles : 220PythonPrototype
- bdarnell/django-tornado-demoÉtoiles : 220PythonPrototype
- python-quantities/python-quantitiesÉtoiles : 220PythonPrototype