Alle Tags
Katalog-Tag

#logic-programming

Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.

7 Einträge
Getaggt als „logic-programming“Geordnet nach Gesundheitsindex
PyPI
90ExzellentGesundheitsindex
potassco/clingo
🦉 A grounder and solver for logic programs.
C++ · C★ 831↓ 116.7K/Monat14. Sept. 2026
MIT14. Sept. 2026 · Metriken 2.10.0
crates.io
81ExzellentGesundheitsindex
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Rust★ 533↓ 399.4K/Monat13. Sept. 2026
Keine Lizenz13. Sept. 2026 · Metriken 2.10.0
Maven · npm
78GutGesundheitsindex
tuProlog/2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
Kotlin★ 11719. Okt. 2026
Apache-2.019. Okt. 2026 · Metriken 2.10.0
crates.io
53MittelGesundheitsindex
s-arash/ascent
Logic programming in Rust
Rust★ 591↓ 235.7K/Monat21. Okt. 2026
MIT21. Okt. 2026 · Metriken 2.10.0
Go
53MittelGesundheitsindex
trealla-prolog/go
Trealla Prolog embedded in Go using WASM
Go★ 8413. Sept. 2026
MIT13. Sept. 2026 · Metriken 2.10.0
npm
35SchwachGesundheitsindex
guregu/trealla-js
Trealla Prolog for the web
TypeScript · JavaScript★ 62↓ 306/Monat15. Sept. 2026
MIT15. Sept. 2026 · Metriken 2.10.0
—
30GefährdetGesundheitsindex
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
Julia★ 17917. Sept. 2026
Apache-2.017. Sept. 2026 · Metriken 2.10.0