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

PrototypeCommune

MPI-SWS/genmc

Generic model checker for concurrent C programs (mirror repository)

Propriétaire: MPI-SWS (organisation)
Étoiles: Étoiles : 222
Forks: Forks : 36
Langage: C++
Licence: Apache-2.0
Création: 2019
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts C++

Tous les dépôts C++

hery-torrado/KernelESPÉtoiles : 222C++Prototype
NVIDIA/NeMo-Speech.cppÉtoiles : 222C++Prototype
Villagers654/VentureÉtoiles : 222C++Prototype
borisbrodski/sevenzipjbindingÉtoiles : 222C++Prototype
boostorg/safe_numericsÉtoiles : 222C++Prototype
adafruit/Adafruit_Motor_Shield_V2_LibraryÉtoiles : 222C++Prototype