Sujet · smt

smt

Dépôts open source suivis étiquetés smt, triés par étoiles.

Dépôts

9

Total d'étoiles

10 082

Étoiles en moyenne

1 120

Part

0,00%

Sujets qui apparaissent souvent aux côtés de smt sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés smt.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

#1
FStar ↗@FStarLangF*
Langage de programmation orienté preuve.
★ 3 103+4Évolution des étoiles sur les 7 derniers jours
#2
liquidhaskell ↗@ucsd-progsysHaskell
Types liquides pour Haskell.
★ 1 334+1Évolution des étoiles sur les 7 derniers jours
#3
py2many ↗@py2manyPython
Transpilateur de Python vers de nombreux autres langages
★ 1 308+0Évolution des étoiles sur les 7 derniers jours
#4
alive2 ↗@AliveToolkitC++
Vérification automatique des optimisations LLVM.
★ 1 163+2Évolution des étoiles sur les 7 derniers jours
#5
jlcparts ↗@yaqwsxPython
Recherche paramétrique améliorée pour les composants disponibles via l'assemblage JLC PCB.
★ 823+6Évolution des étoiles sur les 7 derniers jours
#6
pysmt ↗@pysmtPython
pySMT : Une bibliothèque pour la manipulation et la résolution de formules SMT
★ 638+0Évolution des étoiles sur les 7 derniers jours
#7
apalache ↗@apalache-mcScala
APALACHE : vérificateur de modèle symbolique pour TLA+ et Quint
★ 596+3Évolution des étoiles sur les 7 derniers jours
#8
stp ↗@stpC++
Simple Theorem Prover, un solveur SMT efficace pour les vecteurs de bits, les nombres à virgule flottante et les tableaux.
★ 588+1Évolution des étoiles sur les 7 derniers jours
#9
z3.rs ↗@prove-rsRust
Bindings Rust pour le solveur Z3.
★ 533+1Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets