PyRank
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About

Logic Python Packages

Python packages with the GitHub topic logic. Sorted by relevance, with stars and monthly downloads.
timofurrer
tag-expressions

Python implementation of Shunting-yard Algorithm to evaluate logical tag expressions

204K 3 1
ywatanabe1989
scitex-clew

Verifiable knowledge graph for scientific experiments

26K 0 0
lab-v2
pyreason

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

5K 336 35
AbdelrhmanBassiouny
ripple-down-rules

Implements the various versions of Ripple Down Rules (RDR) for knowledge representation and reasoning.

3K 4 4
retrofor
iamai

A rule-driven comprehensive AI toolkit emphasizing simultaneous support for multimodal machine learning and the ability to construct cross-platform robots using logic.(规则驱动式的综合性人工智能工具库,强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力)

2K 27 8
AbdelrhmanBassiouny
entity-query-language

Provides a relational query language that is pythonic and intuitive. Entity Query Language serves as a front end to other query languages like sql or prolog

2K 4 1
latchfield
vulcan-core

AI-Hybrid Rules Engine for Logical Reasoning.

1K 17 4
pietrobarbiero
torch-explain

PyTorch Explain: Interpretable Deep Learning in Python.

1K 172 17
chanind
amr-logic-converter

Convert Abstract Meaning Representation (AMR) into first-order logic

1K 17 2
chanind
tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

1K 14 1
reity
circuit

Pure-Python library for building and working with logical circuits.

1K 6 2
whitemech
flloat

From LTLf/LDLf To Automata

916 22 4
QuMuLab
nnf

Manipulate NNF (Negation Normal Form) logical sentences

874 20 9
freand76
digsim-logic-simulator

An interactive digital logic simulator with verilog support (Yosys)

771 28 0
philzook58
knuckledragger

A Low Barrier Proof Assistant

723 166 9
pietrobarbiero
deep-logic

Logic Explained Networks is a python repository implementing explainable-by-design deep learning models.

713 53 10
QuMuLab
bauhaus

Build logical theories for SAT solvers on the fly

673 8 2
digitalformallogic
mathesis

Python library for computational formal logic, formal semantics, and theorem proving

645 32 5
python3f
extra-boolean

Boolean data type has two possible truth values to represent logic.

597 0 1
vaticle
typeql-grammar

TypeQL Grammar for Python

562 252 54
Azgmohammadd
latextocnf

python cli program to convert latex input to CNF (conjunctive normal form).

555 8 0
nthparty
circuitry

Embedded domain-specific combinator library for the abstract assembly and automated synthesis of logical circuits.

473 8 1
JordanWelsman
jutl

A Python package of useful tools and utilities.

434 1 0
retrofor
iamai-adapter-kook

A rule-driven comprehensive AI toolkit emphasizing simultaneous support for multimodal machine learning and the ability to construct cross-platform robots using logic.(规则驱动式的综合性人工智能工具库,强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力)

422 27 8
    • Data from PyPI, GitHub, ClickHouse, and BigQuery