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

AlphaPeu commune

renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

Propriétaire: renaissance-benchmarks (organisation)
Étoiles: Étoiles : 345
Forks: Forks : 85
Langage: SMT
Licence: GPL-3.0
Création: 2019
Sujets: benchmark-suitescalajavajvm-performance
Rang: Alpha (250 à 699 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts SMT

Tous les dépôts SMT

SRI-CSL/yices2Étoiles : 487SMTAlpha
bitwuzla/bitwuzlaÉtoiles : 407SMTAlpha
Boolector/boolectorÉtoiles : 359SMTAlpha
sosy-lab/java-smtÉtoiles : 245SMTPrototype
dreal/dreal4Étoiles : 194SMTPrototype
ARMmbed/mbed-HDK-Eagle-ProjectsÉtoiles : 193SMTPrototype