Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
☆45Sep 5, 2025Updated 8 months ago
Alternatives and similar repositories for recursors
Users that are interested in recursors are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The SWI-Prolog HTTP server and client libraries☆27Apr 22, 2026Updated 2 weeks ago
- ☆11Oct 24, 2022Updated 3 years ago
- A text-based game where language models learn to lie and to detect lies.☆12Oct 4, 2023Updated 2 years ago
- Contemplative reasoning MCP server — Lotus Sutra wisdom framework with interactive ext-apps journey visualization.☆27Apr 14, 2026Updated 3 weeks ago
- Javascript porting of Paul Tarau latest Prolog Engine architecture☆19Nov 6, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SWI-Prolog web server sources for www.swi-prolog.org☆19Apr 22, 2026Updated 2 weeks ago
- Learn how to use logit bias with OpenAI models to create highly-powerful classifiers in minutes.☆34Jun 21, 2023Updated 2 years ago
- Scheme environment switcher (like pyenv).☆18Oct 27, 2025Updated 6 months ago
- A JavaScript rule engine that models formal propositional logic. It allows you to separate conditional logic from source code and databas…☆14Apr 30, 2023Updated 3 years ago
- Port of Aleph to SWI-Prolog☆53Feb 7, 2024Updated 2 years ago
- ☆11Sep 21, 2025Updated 7 months ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Simple, filesystem-based caching for Racket☆17Jun 28, 2022Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The SWI-Prolog RDF store☆34Apr 22, 2026Updated 2 weeks ago
- a collection of Node-RED nodes and flows for interactive low-code development of applications using AI technologies - free of charge and …☆17Jun 1, 2024Updated last year
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 8 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆32Oct 3, 2025Updated 7 months ago
- A refeference of text models that can be used in the AI Horde☆13May 2, 2026Updated last week
- Copies of prolog solvers for use from python☆21Jul 8, 2024Updated last year
- Discourse Vibe - Agent containers for Discourse Development☆28Updated this week
- LLM-agents benchmark set of geospatial tasks requiring multi-step tool use; and LLM-as-Judge based evaluation framework.☆25Nov 18, 2025Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Pip Package for MirageML☆26Nov 7, 2023Updated 2 years ago
- ☆13Mar 23, 2026Updated last month
- LMQL implementation of tree of thoughts☆36Jan 31, 2024Updated 2 years ago
- Disassembled code of SPECTRUM micro-PROLOG T1.0☆36Mar 26, 2026Updated last month
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 3 years ago
- A helpful AI assistant for Mercury engineers☆20Jan 9, 2026Updated 4 months ago
- Script for connecting to NUwave from linux☆21Nov 7, 2013Updated 12 years ago
- Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linu…☆43May 1, 2026Updated last week
- a fork of Simply Love focused on additional tweaks for compatibility and integrations with Project OutFox☆18Dec 13, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The SWI-Prolog C++ interface☆39Updated this week
- MCP client for Discourse sites☆54Apr 1, 2026Updated last month
- AWS Neuron Deep Learning Containers (DLCs) are a set of Docker images for training and serving models on AWS Trainium and Inferentia inst…☆21Updated this week
- A collection of "useful" AppleScript and JXA utilities.☆16Aug 31, 2022Updated 3 years ago
- Structured outputs from DSPy and Jinja2☆27Jun 27, 2025Updated 10 months ago
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- Highly configurable CLI app for OpenAI's chat/text completion API☆11Nov 8, 2024Updated last year