smt
There are 265 repositories under smt topic.
trailofbits/manticore
Symbolic execution tool
FStarLang/FStar
A Proof-oriented Programming Language
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
py2many/py2many
Transpiler of Python to many other languages
AliveToolkit/alive2
Automatic verification of LLVM optimizations
yaqwsx/jlcparts
Better parametric search for components available for JLC PCB assembly
pysmt/pysmt
pySMT: A library for SMT formulae manipulation and solving
stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
smackers/smack
SMACK Software Verifier and Verification Toolchain
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs
prove-rs/z3.rs
Rust bindings for the Z3 solver.
cleanunicorn/karl
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
0xOsiris/Mev_Book
An aggregate of MEV resources, libraries, research papers, and strategies.
LeventErkok/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
OCamlPro/owi
Symbolic execution for Wasm, C, C++, Rust and Zig
sosy-lab/java-smt
JavaSMT - Unified Java API for SMT solvers.
testsmt/yinyang
A fuzzing framework for SMT solvers
ufmg-smite/lean-smt
Tactics for discharging Lean goals into SMT solvers.
philzook58/z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
celestiaorg/smt
A Go library that implements a Sparse Merkle tree for a key-value map.
TyGuS/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
sambayless/monosat
MonoSAT - An SMT solver for Monotonic Theories
SpoonLabs/nopol
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
hpgrahsl/kryptonite-for-kafka
Kryptonite for Kafka is a client-side 🔒 field level 🔓 cryptography library for Apache Kafka® offering a Kafka Connect SMT, ksqlDB UDFs, Flink UDFs, and a standalone HTTP API service. It's an UNOFFICIAL community project
Practical-Formal-Methods/storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
deut-erium/RNGeesus
SMT based attacks on non cryptographic PRNGs
rindPHI/isla
The ISLa (Input Specification Language) language & solver.
touist/touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
lsrcz/grisette
A monadic library for symbolic evaluation
IagoAbal/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
nam20485/OdbDesign
A free open source cross-platform C++ library for parsing ODB++ Design archives, accessing their data, and building net list product models. Exposed via a REST API packaged inside of a Docker image.
LeventErkok/sbvPlugin
Formally prove properties of Haskell programs using SBV/SMT.
namin/scalogno
prototyping logic programming in Scala