A collection of neuro-symbolic systems, papers and videos
☆43Jan 12, 2026Updated 9 months ago
Alternatives and similar repositories for neuro-symbolic-LLMs-handbook
Users that are interested in neuro-symbolic-LLMs-handbook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Keras based framework for neuro-symbolic LM systems☆464Updated this week
- Logic programming for AI agents: Datalog-family language compiling to optimized SQL☆15Updated this week
- Coding Agents skills for Synalinks OSS☆908Sep 28, 2026Updated last month
- Differentiable probabilistic answer set programming☆32Sep 17, 2026Updated last month
- a tensor logic based compiler☆16Oct 19, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This project enables the efficient extraction of structured data from unstructured text using large language models (LLMs). It provides a…☆24Oct 7, 2026Updated 3 weeks ago
- ☆16Sep 4, 2025Updated last year
- A curated list of Neuro-Symbolic Visual Reasoning☆17Jul 23, 2021Updated 5 years ago
- Open Knowledge Graph Resources is a static, daily-refreshed catalog of ontology and semantic software records sourced from Wikidata. It p…☆82Updated this week
- ☆17Oct 18, 2026Updated last week
- Semantics of Programming Languages☆13Aug 8, 2019Updated 7 years ago
- A domain specific language to build complex workflows☆14Updated this week
- TypeDB Examples Projects and Tutorials☆18Jul 23, 2026Updated 3 months ago
- Level-up your Hypothesis tests with CrossHair☆28Oct 23, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A modular framework for Neuro-Symbolic reasoning driven by Large Language Models☆42Oct 29, 2025Updated last year
- TypeDB Behaviour Test Specification☆16Oct 21, 2026Updated last week
- A curated list of awesome Neuro-Symbolic AI frameworks, libraries, software, papers, and videos.☆19Nov 1, 2022Updated 3 years ago
- Source code for our paper: "SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals".☆72Jun 29, 2024Updated 2 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- Tracking Pytorch vs Tensorflow adoption metrics.☆22Oct 22, 2021Updated 5 years ago
- An open source list of graph databases☆23Updated this week
- The VS Code extension for Waterproof. Helps students learn how to write mathematical proofs.☆12Oct 11, 2026Updated 2 weeks ago
- Research project of the Cluster of Excellence "Integrative Computational Design and Construction for Architecture" (IntCDC) https://www.i…☆10Jun 1, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- probabilistic logic programming language for statistical modeling☆40Oct 8, 2026Updated 3 weeks ago
- Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd☆59Feb 27, 2025Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆360Sep 29, 2026Updated last month
- A neurosymbolic perspective on LLMs☆1,777Oct 22, 2026Updated last week
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆208Jan 29, 2026Updated 9 months ago
- Lightweight, efficient and extensible macromolecular data handling☆10Jan 7, 2023Updated 3 years ago
- Side-by-side rich diff viewer for Markdown files. Compare documents with intelligent block-level and character-level diffing, rendered in…☆18Updated this week
- Prolog Pengines + vue.js☆17Mar 3, 2019Updated 7 years ago
- Neuro-Symbolic Agentic Protocol☆59Dec 3, 2025Updated 10 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Framework and Language for Neurosymbolic Programming.☆522Jun 26, 2026Updated 4 months ago
- Example CharacterAI-style web app that runs on Letta to create characters with memory.☆20Jun 19, 2025Updated last year
- Pocket Flow: A minimalist LLM framework. Let Agents build Agents!☆23Apr 11, 2025Updated last year
- 🌳 Clingo grammar for tree-sitter☆16Updated this week
- Erie (a declarative grammar for data sonification)☆14Updated this week
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆413Jun 13, 2024Updated 2 years ago
- Ontology of fiction and narrative, developed as an extension of CIDOC-CRM and LRMoo.☆19Oct 19, 2026Updated last week