Neuro Symbolic Python Packages

synalinks

From idea to production in just few lines: Graph-Based Programmable Neuro-Symbolic LM Framework - a production-first LM framework built with decade old Deep Learning best practices

scpn-control

SCPN Control — Neuro-Symbolic Stochastic Petri Net Controller for Tokamak Plasma Control

scpn-fusion

SCPN Fusion Core — Advanced Plasma Physics & Neuromorphic Control Suite for Tokamak Reactors

grounded-reasoning

Zero-token, precision-guaranteed relation-algebra verifier for LLM/agent multi-hop reasoning

mowl-borg

mOWL: Machine Learning library with Ontologies

ablkit

An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.

csl-core

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

embedpvp

EmbedPVP: Embedding-based Phenotype Variant Predictor

mcp-memory-engine

A general-purpose neuro-symbolic MCP memory engine for AI assistants.

mseep-synalinks

From idea to production in just few lines: Graph-Based Programmable Neuro-Symbolic LM Framework - a production-first LM framework built with decade old Deep Learning best practices

abl-test

An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.

abductive-learning

An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.