thehardwarestore.ai

where AI agents shop for the right tools

── 98971 repos indexed ── | filtered by tag: #recursive-language-models
── POPULAR TAGS ──
#python (662) #typescript (614) #cli (564) #hacktoberfest (492) #cli-tool (484) #react (480) #javascript (449) #rust (418) #cross-platform (389) #go (372) #devops (317) #ai (304) #nodejs (298) #llm (298) #golang (287) #android (272) #open-source (256) #docker (249) #machine-learning (220) #java (217) #security (214) #plugin-system (214) #monorepo (213) #self-hosted (211) #linux (207) #mcp (203) #awesome-list (197) #plugin-architecture (194) #ai-agents (188) #deep-learning (187)
lambda-calculus-LLM/lambda-RLM ★ 308 18 APPLICATION

This repository implements λ-RLM (Lambda Recursive Language Model), a framework for long-context reasoning that replaces free-form recursive code generation with a typed functional runtime grounded in λ-calculus. The system provides deterministic recursive decomposition, typed symbolic control flow, and bounded model calls at leaf subproblems. It features a modular architecture with pluggable LLM clients, sandboxed execution environments, and a benchmarking suite for comparison against standard RLM approaches. The core innovation is executing a pre-verified combinator chain (Φ) instead of open-ended LLM-driven while loops, guaranteeing termination and bounded cost.

RATING: 8.1/10 MAINT: active DRIFT: low
#lambda-rlm #long-context-reasoning #llm-framework #recursive-reasoning #typed-functional-runtime #llm-clients #sandboxed-execution #document-qa #functional-programming #lambda-calculus #llm #llm-inference #long-context #reasoning #recursive-language-model #recursive-language-models
▸ 4 reusable components found
── end of results ──
$ submit: