Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
☆45Sep 5, 2025Updated 6 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:
- A text-based game where language models learn to lie and to detect lies.☆12Oct 4, 2023Updated 2 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Learn how to use logit bias with OpenAI models to create highly-powerful classifiers in minutes.☆34Jun 21, 2023Updated 2 years 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 2 years ago
- Scalable Visual-ChatGPT deployment on Kubernetes - Distributed multi-model inference graph powered by BentoML☆16Jun 13, 2023Updated 2 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.
- ☆11Sep 21, 2025Updated 6 months ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- An environment variable manager for Racket applications☆17Apr 27, 2023Updated 2 years ago
- Daily hacker news top stories. Subscribe the hackernews daily top stories by watching this repo.☆30Updated this week
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Oct 3, 2025Updated 5 months ago
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- Pip Package for MirageML☆25Nov 7, 2023Updated 2 years ago
- Disassembled code of SPECTRUM micro-PROLOG T1.0☆36Updated this week
- 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.
- LMQL implementation of tree of thoughts☆36Jan 31, 2024Updated 2 years ago
- A Scribble library for typesetting grammars better☆15Feb 22, 2023Updated 3 years ago
- Public GPLv2 release of 2nd generation Starlink Wifi Router Code☆12Apr 3, 2022Updated 3 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- ☆13Feb 1, 2016Updated 10 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- This SDK allows web-based apps/pages to interact with dictation devices☆17Mar 19, 2026Updated last week
- Basic scaffold for a Django Rest Framework + React app.☆13Feb 17, 2023Updated 3 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Aug 27, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- A helpful AI assistant for Mercury engineers☆21Jan 9, 2026Updated 2 months ago
- Script for connecting to NUwave from linux☆21Nov 7, 2013Updated 12 years ago
- 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…☆23Feb 10, 2026Updated last month
- ☆11Feb 29, 2024Updated 2 years ago
- Structured outputs from DSPy and Jinja2☆27Jun 27, 2025Updated 9 months ago
- Minimalistic batching application for LLMs using ASP.NET Core and LLamaSharp☆12Oct 23, 2024Updated last year
- Quora Question Scraper - Find & Export relevant Questions 10x faster☆16Oct 9, 2019Updated 6 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.
- Highly configurable CLI app for OpenAI's chat/text completion API☆11Nov 8, 2024Updated last year
- Standardized regression predictors for use with StatsModels.jl (centered, z-scored, etc.)☆10Mar 10, 2026Updated 2 weeks ago
- A framework for building language model applications.☆14Dec 8, 2023Updated 2 years ago
- SWI-Prolog dynamic C interface☆17Sep 21, 2024Updated last year
- Simple timetabling engine for schools☆30Jul 12, 2024Updated last year
- A utility package designed to streamline various tasks when developing Svelte libraries.☆12Sep 23, 2025Updated 6 months ago
- ☆11Apr 26, 2023Updated 2 years ago