Topic · smt

smt

Tracked open-source repos tagged smt, sorted by stars.

Repos

9

Total stars

10,082

Avg. stars

1,120

Share

0.00%

Topics that frequently appear alongside smt on the same repo.

Recent risers

Repos created in the last 90 days, tagged smt.

No new repos tagged with this topic in the last 90 days.

#1
FStar ↗@FStarLangF*
A Proof-oriented Programming Language
★ 3,103+4Star change over the last 7 days
#2
liquidhaskell ↗@ucsd-progsysHaskell
Liquid Types For Haskell
★ 1,334+1Star change over the last 7 days
#3
py2many ↗@py2manyPython
Transpiler of Python to many other languages
★ 1,308+0Star change over the last 7 days
#4
alive2 ↗@AliveToolkitC++
Automatic verification of LLVM optimizations
★ 1,163+2Star change over the last 7 days
#5
jlcparts ↗@yaqwsxPython
Better parametric search for components available for JLC PCB assembly
★ 823+6Star change over the last 7 days
#6
pysmt ↗@pysmtPython
pySMT: A library for SMT formulae manipulation and solving
★ 638+0Star change over the last 7 days
#7
apalache ↗@apalache-mcScala
APALACHE: symbolic model checker for TLA+ and Quint
★ 595+2Star change over the last 7 days
#8
stp ↗@stpC++
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
★ 588+1Star change over the last 7 days
#9
z3.rs ↗@prove-rsRust
Rust bindings for the Z3 solver.
★ 533+1Star change over the last 7 days

← Back to topics