All tags
Catalogue tag

#logic-programming

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.

6 records
Tagged “logic-programming”Ranked by health index
crates.io
83Excellenthealth index
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Rust★ 522↓ 339.7K/moJul 23, 2026
No licenseJul 23, 2026 · metrics 2.10.0
PyPI
77Goodhealth index
potassco/clingo
🦉 A grounder and solver for logic programs.
C++ · C★ 811Jul 28, 2026
MITJul 28, 2026 · metrics 2.10.0
crates.io
57Moderatehealth index
s-arash/ascent
Logic programming in Rust
Rust★ 578↓ 151.6K/moSep 1, 2026
MITSep 1, 2026 · metrics 2.10.0
Go
57Moderatehealth index
trealla-prolog/go
Trealla Prolog embedded in Go using WASM
Go★ 84Jul 26, 2026
MITJul 26, 2026 · metrics 2.10.0
npm
38Weakhealth index
guregu/trealla-js
Trealla Prolog for the web
TypeScript · JavaScript★ 61↓ 2,345/moAug 1, 2026
MITAug 1, 2026 · metrics 2.10.0
30At Riskhealth index
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
Julia★ 179Aug 8, 2026
Apache-2.0Aug 8, 2026 · metrics 2.10.0