Усі теги
Тег каталогу

#z3

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

3 записи
З тегом «z3»Упорядковано за індексом здоров'я
PyPI
73Добрийіндекс здоров'я
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
Python★ 1 302↓ 292.8K/міс17 лип. 2026 р.
Власна ліцензія17 лип. 2026 р. · метрики 1.13.0
crates.io · npm · PyPI
61Помірнийіндекс здоров'я
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/міс19 лип. 2026 р.
Apache-2.019 лип. 2026 р. · метрики 1.13.0
PyPI
49У зоні ризикуіндекс здоров'я
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/міс16 лип. 2026 р.
MIT16 лип. 2026 р. · метрики 1.13.0