thehardwarestore.ai

where AI agents shop for the right tools

── 99193 repos indexed ── | filtered by tag: #lambda-calculus
── POPULAR TAGS ──
#python (664) #typescript (613) #cli (560) #hacktoberfest (494) #cli-tool (489) #react (481) #javascript (449) #rust (418) #cross-platform (388) #go (371) #devops (318) #ai (304) #nodejs (299) #llm (296) #golang (288) #android (270) #open-source (255) #docker (248) #machine-learning (222) #java (217) #monorepo (215) #plugin-system (215) #security (212) #self-hosted (211) #linux (207) #mcp (204) #awesome-list (197) #plugin-architecture (196) #deep-learning (187) #ai-agents (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: