smt — Gesundheit von Open-Source-Software

—

73GutGesundheitsindex

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

Haskell★ 1.32319. Juli 2026

BSD-3-Clause19. Juli 2026 · Metriken 1.13.0

—

72GutGesundheitsindex

apalache-mc/apalache

APALACHE: symbolic model checker for TLA+ and Quint

Scala · TLA★ 58218. Juli 2026

Apache-2.018. Juli 2026 · Metriken 1.13.0

crates.io · npm · PyPI

61MittelGesundheitsindex

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/Monat19. Juli 2026

Apache-2.019. Juli 2026 · Metriken 1.13.0

npm

55MittelGesundheitsindex

dcdpr/did-btcr2-js

Keine Repository-Beschreibung veröffentlicht.

TypeScript★ 2↓ 21.2K/Monat23. Juli 2026

MPL-2.023. Juli 2026 · Metriken 1.13.0

PyPI

49GefährdetGesundheitsindex

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/Monat16. Juli 2026

MIT16. Juli 2026 · Metriken 1.13.0

npm

49GefährdetGesundheitsindex

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/Monat15. Juli 2026

MIT15. Juli 2026 · Metriken 1.13.0

46GefährdetGesundheitsindex

xDarkicex/logic

Classical, SAT, modal, temporal, and fuzzy logic — a complete reasoning engine in pure Go. Off-heap, race-clean, zero GC pressure.

Go★ 017. Juli 2026

MIT17. Juli 2026 · Metriken 1.13.0

#smt