PyRank

Neurosymbolic Ai Python Packages

Python packages with the GitHub topic neurosymbolic-ai. Sorted by relevance, with stars and monthly downloads.
ExtensityAI
symbolicai

A neurosymbolic perspective on LLMs

6K 2K 91
ML-KULeuven
klaycircuits

Sparse Circuits on the GPU (ICLR2025)

3K 26 3
DiTEC-project
pyaerial

Scalable association rule mining from tabular datasets.

3K 32 4
QWED-AI
qwed

A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.

2K 58 10
ultranetcommand-neo
crimsonos

Crimson OS — Reality-Guided Intelligence, not AGI: sovereign local OS on your NAS. Agent_Bridge markdown ledger, not RAM. GAS→LIQUID→CRYSTAL gate. Hausdorff F₂↪SO(3) cos θ=⅓. Geometric_Unity_Validation: JHTDB ablation, negative JSON shipped. Beta · Apache-2.0

933 10 0
arturoornelasb
triadic-engine

Deterministic AI auditing and semantic validation via prime factorization — 30.9x faster than cosine, fully explainable

295 0 0
theokoles7
lucidium

Experiments in neuro-symbolic reinforcement learning in the

286 0 0
RenatoGeh
pasp-plp

Probabilistic Answer Set Programming

226 30 6
Xpitfire
botdynamics

A neurosymbolic perspective on LLMs

1 2K 86