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

#logic

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

13 записів
З тегом «logic»Упорядковано за індексом здоров'я
—
88Відміннийіндекс здоров'я
flix/flix
The Flix Programming Language
Flix · Scala★ 2 72815 серп. 2026 р.
Власна ліцензія15 серп. 2026 р. · метрики 2.10.0
crates.io
87Відміннийіндекс здоров'я
assert-rs/predicates-rs
Boolean-valued predicate functions in Rust
Rust★ 210↓ 13.2M/міс11 серп. 2026 р.
Apache-2.011 серп. 2026 р. · метрики 2.10.0
crates.io · PyPI
87Відміннийіндекс здоров'я
typedb/typeql
TypeQL: Built for systems, not records
Rust★ 254↓ 3 889/міс16 серп. 2026 р.
MPL-2.016 серп. 2026 р. · метрики 2.10.0
npm
75Добрийіндекс здоров'я
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 р. · метрики 2.10.0
crates.io · npm · PyPI
67Добрийіндекс здоров'я
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 р. · метрики 2.10.0
PyPI
62Помірнийіндекс здоров'я
ywatanabe1989/scitex-clew
Verifiable knowledge graph for scientific experiments
Python★ 016 лип. 2026 р.
AGPL-3.016 лип. 2026 р. · метрики 2.10.0
NuGet
53Помірнийіндекс здоров'я
DevJasperNL/Reactive.Boolean
Reactive extensions meant specifically for implementations of IObservable<bool>.
C#★ 06 вер. 2026 р.
MIT6 вер. 2026 р. · метрики 2.10.0
PyPI
47Слабкийіндекс здоров'я
bradleypallen/pyNMMS
pyNMMS — An automated reasoner for the Non-Monotonic Multi-Succedent sequent calculus from Hlobil & Brandom 2025
Python★ 0↓ 29/міс26 серп. 2026 р.
MIT26 серп. 2026 р. · метрики 2.10.0
npm
38Слабкийіндекс здоров'я
guregu/trealla-js
Trealla Prolog for the web
TypeScript · JavaScript★ 61↓ 2 345/міс1 серп. 2026 р.
MIT1 серп. 2026 р. · метрики 2.10.0
PyPI
37Слабкийіндекс здоров'я
bastikr/boolean.py
Implements boolean algebra in one module.
Python★ 85↓ 40.7M/міс27 серп. 2026 р.
BSD-2-Clause27 серп. 2026 р. · метрики 2.10.0
Packagist · npm
34У зоні ризикуіндекс здоров'я
unclecheese/silverstripe-display-logic
The Display Logic module allows you to add conditions for displaying or hiding certain form fields based on client-side behavior.
PHP · JavaScript★ 74↓ 13.1K/міс7 серп. 2026 р.
BSD-3-Clause7 серп. 2026 р. · метрики 2.10.0
—
30У зоні ризикуіндекс здоров'я
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
Julia★ 1798 серп. 2026 р.
Apache-2.08 серп. 2026 р. · метрики 2.10.0
npm
13Критичнийіндекс здоров'я
Supergiovane/node-red-contrib-boolean-logic-ultimate
Enhanced boolean logic with persistent values after reboot and more
JavaScript · HTML★ 39↓ 6 673/міс25 лип. 2026 р.
MIT25 лип. 2026 р. · метрики 2.10.0