Thema · smt

smt

Erfasste Open-Source-Repos mit dem Tag smt, sortiert nach Sternen.

Repos

9

Sterne gesamt

10.082

Sterne im Schnitt

1.120

Anteil

0,00%

Themen, die häufig gemeinsam mit smt am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit smt getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
FStar ↗@FStarLangF*
Eine auf Beweise ausgerichtete Programmiersprache
★ 3.103+3Sterne-Änderung der letzten 7 Tage
#2
liquidhaskell ↗@ucsd-progsysHaskell
Liquid Types für Haskell.
★ 1.334+1Sterne-Änderung der letzten 7 Tage
#3
py2many ↗@py2manyPython
Transpiler von Python in viele andere Sprachen
★ 1.308+0Sterne-Änderung der letzten 7 Tage
#4
alive2 ↗@AliveToolkitC++
Automatische Verifizierung von LLVM-Optimierungen
★ 1.163+4Sterne-Änderung der letzten 7 Tage
#5
jlcparts ↗@yaqwsxPython
Bessere parametrische Suche für Komponenten, die für die JLC-PCB-Bestückung verfügbar sind
★ 823+3Sterne-Änderung der letzten 7 Tage
#6
pysmt ↗@pysmtPython
pySMT: Eine Bibliothek zur Manipulation und Lösung von SMT-Formeln
★ 638+0Sterne-Änderung der letzten 7 Tage
#7
apalache ↗@apalache-mcScala
APALACHE: Symbolischer Modellprüfer für TLA+ und Quint
★ 595+3Sterne-Änderung der letzten 7 Tage
#8
stp ↗@stpC++
Simple Theorem Prover, ein effizienter SMT-Solver für Bitvektoren, Gleitkommazahlen und Arrays.
★ 588+1Sterne-Änderung der letzten 7 Tage
#9
z3.rs ↗@prove-rsRust
Rust-Bindings für den Z3-Solver.
★ 533+1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen