#smt (13 Repositories)
Ranked open-source repositories tagged with #smt, scored by pull request acceptance likelihood and maintainer engagement velocity.
44.2%
85.4h
13 repositories tagged #smt
TRC-Loop/Pelton
📨 An open-source email client built around your privacy, cross-platform with zero telemetry, fully yours.
stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
py2many/py2many
Transpiler of Python to many other languages
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
LeventErkok/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
verse-lab/veil
A verifier for automated and interactive proofs about transition systems.
testsmt/yinyang
A fuzzing framework for SMT solvers
TyGuS/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
yaqwsx/jlcparts
Better parametric search for components available for JLC PCB assembly
ufmg-smite/lean-smt
Tactics for discharging Lean goals into SMT solvers.
smackers/smack
SMACK Software Verifier and Verification Toolchain