Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
☆46Sep 5, 2025Updated 9 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:
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 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.☆28Apr 14, 2026Updated 2 months ago
- Javascript porting of Paul Tarau latest Prolog Engine architecture☆19Nov 6, 2018Updated 7 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆19May 28, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Learn how to use logit bias with OpenAI models to create highly-powerful classifiers in minutes.☆34Jun 21, 2023Updated 2 years ago
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 6 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 4 months ago
- The SWI-Prolog RDF store☆35May 28, 2026Updated 3 weeks ago
- Analytic sampler compiler for combinatorial systems☆31Jul 10, 2022Updated 3 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 9 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆32Oct 3, 2025Updated 8 months ago
- Discourse Vibe - Agent containers for Discourse Development☆28Jun 5, 2026Updated 2 weeks 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.
- Pip Package for MirageML☆26Nov 7, 2023Updated 2 years ago
- LMQL implementation of tree of thoughts☆36Jan 31, 2024Updated 2 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Surround selection, Change/Delete surrounder☆39Sep 17, 2018Updated 7 years ago
- This SDK allows web-based apps/pages to interact with dictation devices☆18May 27, 2026Updated 3 weeks ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- Attempt to make a simple-to-implement commenting system using ATProto☆15Sep 18, 2024Updated last year
- Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linu…☆43Updated this week
- 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.
- This is a simple guide to help you build an Anthropic Claude Sonnet 3.5 chatbot interface with Gradio☆12Jun 23, 2024Updated last year
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆25Jun 11, 2026Updated last week
- ☆10Feb 29, 2024Updated 2 years ago
- A collection of "useful" AppleScript and JXA utilities.☆16Aug 31, 2022Updated 3 years ago
- Minimalistic batching application for LLMs using ASP.NET Core and LLamaSharp☆12Oct 23, 2024Updated last year
- Structured outputs from DSPy and Jinja2☆27Jun 27, 2025Updated 11 months ago
- Quora Question Scraper - Find & Export relevant Questions 10x faster☆16Oct 9, 2019Updated 6 years ago
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- Standardized regression predictors for use with StatsModels.jl (centered, z-scored, etc.)☆10Updated this week
- 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.
- A framework for building language model applications.☆14Dec 8, 2023Updated 2 years ago
- Simple timetabling engine for schools☆30Jul 12, 2024Updated last year
- A utility package designed to streamline various tasks when developing Svelte libraries.☆11Sep 23, 2025Updated 8 months ago
- SWI-Prolog dynamic C interface☆17Sep 21, 2024Updated last year
- Decentralized Protocol Compiler☆17Mar 22, 2024Updated 2 years ago
- LinGPT, a GPT-4 webpage with just a single HTML file. 只有一个html文件的GPT4聊天网页，零门槛，10秒搞定。多Key轮询 Auto Key Rotation 支持代理平台/第三方Key Supports proxy…☆12Aug 28, 2023Updated 2 years ago
- A GPT agent with a Text Interface tool☆15Feb 10, 2026Updated 4 months ago