PyRank

Neurosymbolic Python Packages

Python packages with the GitHub topic neurosymbolic. Sorted by relevance, with stars and monthly downloads.
lab-v2
pyreason

An explainable inference software supporting annotated, real valued, graph based and temporal logic

5K 336 35
zoharbabin
dd-agents

Find what gets buried in the data room. 13 AI agents analyze every contract across 9 domains (Legal, Finance, Commercial, Tech, Cyber, HR, Tax, Regulatory, ESG), cross-reference findings, and trace each to exact page & quote. Interactive chat, Excel/Word export, knowledge that compounds across runs.

4K 21 7
ML-KULeuven
klaycircuits

Sparse Circuits on the GPU (ICLR2025)

2K 23 3
bio-ontology-research-group
mowl-borg

mOWL: Machine Learning library with Ontologies

1K 91 4
arturoornelasb
triadic-head

End-to-end prime factorization in a generative LM. 40M-param GPT that learns algebraically verifiable prime-factor signatures at negligible language cost (+1.7% PPL). Paper (Zenodo) + triadic-head (PyPI) + reptimeline.

488 0 0
pyc-team
pytorch-concepts

Concept-Based Deep Learning Library for PyTorch.

355 33 13
AstraIntella
astraintella

AstraIntella — verified AI reasoning infrastructure. Placeholder reserving the PyPI name; see verasolve for the SDK.

191 0 0
thomasahle
tensorgrad

Machine Learning with Symbolic Tensors

126 362 18
AstraIntella
verasolve

Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers

104 0 0
thomasahle
tensorg

Machine Learning with Symbolic Tensors

12 362 18
OpenSymbolicAI
opensymbolicai-core

Build LLM-powered systems as typed, testable Python software — not prompt strings

8 24 9