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.

6 registros
Con la etiqueta «logic-programming»Ordenado por índice de salud
crates.io
83Excelenteíndice de salud
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Rust★ 522↓ 339.7K/mes23 jul 2026
Sin licencia23 jul 2026 · métricas 2.10.0
PyPI
77Buenoíndice de salud
potassco/clingo
🦉 A grounder and solver for logic programs.
C++ · C★ 81128 jul 2026
MIT28 jul 2026 · métricas 2.10.0
crates.io
57Moderadoíndice de salud
s-arash/ascent
Logic programming in Rust
Rust★ 578↓ 151.6K/mes1 sept 2026
MIT1 sept 2026 · métricas 2.10.0
Go
57Moderadoíndice de salud
trealla-prolog/go
Trealla Prolog embedded in Go using WASM
Go★ 8426 jul 2026
MIT26 jul 2026 · métricas 2.10.0
npm
38Débilíndice de salud
guregu/trealla-js
Trealla Prolog for the web
TypeScript · JavaScript★ 61↓ 2345/mes1 ago 2026
MIT1 ago 2026 · métricas 2.10.0
30En riesgoíndice de salud
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
Julia★ 1798 ago 2026
Apache-2.08 ago 2026 · métricas 2.10.0