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

#logic

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

4 записи
З тегом «logic»Упорядковано за індексом здоров'я
npm
66Помірнийіндекс здоров'я
mpatfield/homebridge-dummy
Homebridge accessories to help with advanced automation and control — scheduling, delays, push notifications, commands, webhooks, and more
TypeScript · JavaScript★ 399↓ 5 301/міс15 лип. 2026 р.
Apache-2.015 лип. 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
59Помірнийіндекс здоров'я
ywatanabe1989/scitex-clew
Verifiable knowledge graph for scientific experiments
Python★ 016 лип. 2026 р.
AGPL-3.016 лип. 2026 р. · метрики 1.13.0
PyPI
40У зоні ризикуіндекс здоров'я
bastikr/boolean.py
Implements boolean algebra in one module.
Python★ 85↓ 35.5M/міс22 лип. 2026 р.
BSD-2-Clause22 лип. 2026 р. · метрики 1.13.0