PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
lab-v2
pyreason

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

6K 334 34
ML-KULeuven
klaycircuits

Arithmetic circuits on the GPU

1K 21 3
bio-ontology-research-group
mowl-borg

mOWL: A machine learning library with ontologies

731 90 4
AstraIntella
astraintella

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

412 0 0
arturoornelasb
triadic-head

Drop-in triadic projection head for any HuggingFace transformer. Adds interpretable prime-factor semantic signatures at zero language cost.

396 0 0
AstraIntella
verasolve

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

363 0 0
OpenSymbolicAI
opensymbolicai-core

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

287 24 9
pyc-team
pytorch-concepts

PyC (Pytorch Concepts) is a PyTorch-based library for training concept-based interpretable deep learning models.

215 33 13
thomasahle
tensorgrad

Tensor Network Library with Symbolic Autograd

118 362 18
thomasahle
tensorg

Machine Learning with Symbolic Tensors

12 362 18
    • Data from PyPI, GitHub, ClickHouse, and BigQuery