All tags
Catalogue tag

#smt

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

7 records
Tagged “smt”Ranked by health index
—
73Goodhealth index
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
Haskell★ 1,323Jul 19, 2026
BSD-3-ClauseJul 19, 2026 · metrics 1.13.0
—
72Goodhealth index
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Scala · TLA★ 582Jul 18, 2026
Apache-2.0Jul 18, 2026 · metrics 1.13.0
crates.io · npm · PyPI
61Moderatehealth index
cool-japan/oxiz
OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.
Rust★ 49↓ 9,818/moJul 19, 2026
Apache-2.0Jul 19, 2026 · metrics 1.13.0
npm
55Moderatehealth index
dcdpr/did-btcr2-js
No repository description published.
TypeScript★ 2↓ 21.2K/moJul 23, 2026
MPL-2.0Jul 23, 2026 · metrics 1.13.0
PyPI
49At riskhealth index
CharlesCNorton/touchstone
An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.
Python★ 8↓ 32K/moJul 16, 2026
MITJul 16, 2026 · metrics 1.13.0
npm
49At riskhealth index
iyulab/formulab
TypeScript library of 174 research-backed industrial engineering formulas across 14 domains — quality, metallurgy, logistics, safety, machining, and more — with zero dependencies.
TypeScript★ 0↓ 2,186/moJul 15, 2026
MITJul 15, 2026 · metrics 1.13.0
Go
46At riskhealth index
xDarkicex/logic
Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.
Go★ 0Jul 17, 2026
MITJul 17, 2026 · metrics 1.13.0