#Logic

Showing 13 of 13 repositories tagged #logic, ranked by stars

typedb

TypeDB: Built for systems, not records

Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for Learning and Reasoning

discrete-math-python-scripts

Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

Reviewing some online CS courses I took

PyTorch Explain: Interpretable Deep Learning in Python.

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

Beautiful Digital Timing Diagrams with Rust

LoMRF is an open-source implementation of Markov Logic Networks

Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.

Sole.jl – Long live transparent modeling!

TensorLogic compiles logical rules (predicates, quantifiers, implications) into tensor equations (einsum graphs) with a minimal DSL + IR, enabling neural/symbolic/probabilistic models within a unified tensor computation framework.

httpx frameworks.