Logic Language for LLMs π±ππ Build Neuro-Symbolic AI for learning and reasoning
β734Mar 16, 2026Updated 3 weeks ago
Alternatives and similar repositories for Nucleoid
Users that are interested in Nucleoid are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Neuro-Symbolic AI Toolkitβ116Sep 17, 2025Updated 6 months ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logicβ334Updated this week
- Claude skills for Synalinks OSSβ898Feb 18, 2026Updated last month
- A collaborative low code headless CMS and Javascript framework for building collaborative no code platforms, apps and UI's. Build powerfuβ¦β33Apr 4, 2026Updated last week
- A curated list of awesome Neuro-Symbolic AI frameworks, libraries, software, papers, and videos.β14Nov 1, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off β’ AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Exploration using DSPy to optimize modules to maximize performance on the OpenToM datasetβ27Mar 6, 2024Updated 2 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.β155Oct 2, 2024Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural prediβ¦β310Aug 9, 2024Updated last year
- Deep relational learning through differentiable logic programming.β115Aug 9, 2025Updated 8 months ago
- Your hub for neuro-symbolic AI: Explore links, papers, and articles with a focus on AI cognition. Contribute and stay updated.β32Aug 27, 2024Updated last year
- Compound node drag-and-drop UI for adding and removing childrenβ33Apr 2, 2026Updated last week
- A C++ library for working with OWL2 ontologies.β12Jan 26, 2016Updated 10 years ago
- My workspace which is include STM32 series board applicationsβ11Oct 16, 2021Updated 4 years ago
- A neurosymbolic perspective on LLMsβ1,705Updated this week
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- β22Feb 29, 2024Updated 2 years ago
- From idea to production in just few lines: Graph-Based Programmable Neuro-Symbolic LM Framework - a production-first LM framework built wβ¦β426Mar 3, 2026Updated last month
- Deep Learning and Logical Reasoning from Data and Knowledgeβ347Nov 13, 2024Updated last year
- A quick comparison of various libs for drawing things with WebGL.β11Sep 3, 2024Updated last year
- Demo of knowledge graph creation and Graph RAG with BAML and Kuzuβ73Sep 17, 2025Updated 6 months ago
- Example code to create high-quality knowledge graphs using entity resolution with Kuzu and Senzingβ24Sep 17, 2025Updated 6 months ago
- Implementation of Monte Carlo Word Movers Distance in Python with TensorFlowβ12Sep 12, 2016Updated 9 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning settingβ32Dec 28, 2023Updated 2 years ago
- DACO - Decentralized autonomous charity organizationβ10Dec 11, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling on Cloudways β’ AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Mathsβ18Feb 10, 2026Updated 2 months ago
- Knowledge Acquisition Logic Machineβ18Jul 19, 2019Updated 6 years ago
- Port of Aleph to SWI-Prologβ53Feb 7, 2024Updated 2 years ago
- A semantic search indexing system designed to efficiently retrieve top matching results from a database of 20 million documents. Given thβ¦β11Nov 20, 2024Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMsβ38Mar 5, 2026Updated last month
- A Model Context Protocol server that provides access to Kuzu databasesβ40Oct 10, 2025Updated 6 months ago
- Public policy research CLIβ67Mar 14, 2026Updated 3 weeks ago
- The context development platform. Store, enrich, and retrieve structured knowledge with graph-native infrastructure, semantic retrieval, β¦β1,967Updated this week
- Translating HTN planning problems to PDDLβ22Jul 7, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Schemas for WhyHow's automated knowledge graph creation SDKβ98Aug 10, 2024Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdfβ27May 25, 2024Updated last year
- β12Nov 21, 2025Updated 4 months ago
- Deep Research through Multi-Agents, using GraphRAGβ85Aug 21, 2025Updated 7 months ago
- Artificial Intelligence Domain Specific Language (AI-DSL) to enable autonomous interoperability between AI services.β85Jun 25, 2025Updated 9 months ago
- MLX binary vectors and associated algorithms.β14Mar 13, 2025Updated last year
- Rete algorithm based Rule Engine built on Pythonβ13Dec 8, 2022Updated 3 years ago