Todas las etiquetas
Etiqueta del catálogo

#logic-programming

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

7 registros
Con la etiqueta «logic-programming»Ordenado por índice de salud
PyPI
90Excelenteíndice de salud
potassco/clingo
🦉 A grounder and solver for logic programs.
C++ · C★ 831↓ 116.7K/mes14 sept 2026
MIT14 sept 2026 · métricas 2.10.0
crates.io
81Excelenteíndice de salud
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Rust★ 533↓ 399.4K/mes13 sept 2026
Sin licencia13 sept 2026 · métricas 2.10.0
Maven · npm
78Buenoíndice de salud
tuProlog/2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
Kotlin★ 11719 oct 2026
Apache-2.019 oct 2026 · métricas 2.10.0
crates.io
53Moderadoíndice de salud
s-arash/ascent
Logic programming in Rust
Rust★ 591↓ 235.7K/mes21 oct 2026
MIT21 oct 2026 · métricas 2.10.0
Go
53Moderadoíndice de salud
trealla-prolog/go
Trealla Prolog embedded in Go using WASM
Go★ 8413 sept 2026
MIT13 sept 2026 · métricas 2.10.0
npm
35Débilíndice de salud
guregu/trealla-js
Trealla Prolog for the web
TypeScript · JavaScript★ 62↓ 306/mes15 sept 2026
MIT15 sept 2026 · métricas 2.10.0
—
30En riesgoíndice de salud
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
Julia★ 17917 sept 2026
Apache-2.017 sept 2026 · métricas 2.10.0