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