Catalogue tag

#logic

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.

4 records

Tagged “logic”Ranked by health index

npm

66Moderatehealth index

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/moJul 15, 2026

Apache-2.0Jul 15, 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

PyPI

59Moderatehealth index

ywatanabe1989/scitex-clew

Verifiable knowledge graph for scientific experiments

Python★ 0Jul 16, 2026

AGPL-3.0Jul 16, 2026 · metrics 1.13.0

PyPI

40At riskhealth index

bastikr/boolean.py

Implements boolean algebra in one module.

Python★ 85↓ 35.5M/moJul 22, 2026

BSD-2-ClauseJul 22, 2026 · metrics 1.13.0