Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits
PrototypeCommune

tum-i4/macke

Modular And Compositional analysis with KLEE Engine

Propriétaire
tum-i4 (organisation)
Étoiles
Étoiles : 119
Forks
Forks : 19
Langage
Python
Licence
Apache-2.0
Création
2015
Rang
Prototype (100 à 249 ★) Ce que veut dire ce rang
Voir sur GitHub

Autres dépôts de tum-i4

Les 2 dépôts de tum-i4

D’autres dépôts Python

Tous les dépôts Python