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

#logic-programming

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

6 записів
З тегом «logic-programming»Упорядковано за індексом здоров'я
crates.io
83Відміннийіндекс здоров'я
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Rust★ 522↓ 339.7K/міс23 лип. 2026 р.
Без ліцензії23 лип. 2026 р. · метрики 2.10.0
PyPI
77Добрийіндекс здоров'я
potassco/clingo
🦉 A grounder and solver for logic programs.
C++ · C★ 81128 лип. 2026 р.
MIT28 лип. 2026 р. · метрики 2.10.0
crates.io
57Помірнийіндекс здоров'я
s-arash/ascent
Logic programming in Rust
Rust★ 578↓ 151.6K/міс1 вер. 2026 р.
MIT1 вер. 2026 р. · метрики 2.10.0
Go
57Помірнийіндекс здоров'я
trealla-prolog/go
Trealla Prolog embedded in Go using WASM
Go★ 8426 лип. 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
—
30У зоні ризикуіндекс здоров'я
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
Julia★ 1798 серп. 2026 р.
Apache-2.08 серп. 2026 р. · метрики 2.10.0