# lambda-calculus-LLM/lambda-RLM

<https://repo.masters-masters.com/en/repos/lambda-calculus-LLM/lambda-RLM>

[Home](https://repo.masters-masters.com/en) › [lambda-calculus-LLM](https://repo.masters-masters.com/en/owners/lambda-calculus-LLM) › [lambda-RLM](https://repo.masters-masters.com/en/repos/lambda-calculus-LLM/lambda-RLM)

lambda-calculus-LLM/lambda-RLM has 308 stars on GitHub. Its RepoMasters card: Alpha tier. Method for Long Context RLMs using verifiable Lambda Calculus

| Field | Value |
| --- | --- |
| Owner | [lambda-calculus-LLM](https://repo.masters-masters.com/en/owners/lambda-calculus-LLM) |
| Stars | 308 |
| Forks | 19 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2026 |
| Topics | document-qa, functional-programming, lambda-calculus, llm, llm-inference, long-context, reasoning, recursive-language-model, recursive-language-models |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [lambda-calculus-LLM/lambda-RLM](https://github.com/lambda-calculus-LLM/lambda-RLM) |

## Repository

Method for Long Context RLMs using verifiable Lambda Calculus

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Python

- [laok775/jobflow-for-codex · ★ 308 · Python · Alpha](https://repo.masters-masters.com/en/repos/laok775/jobflow-for-codex)
- [simple-agent-lab/RSIHub · ★ 308 · Python · Alpha](https://repo.masters-masters.com/en/repos/simple-agent-lab/RSIHub)
- [typesafe-ai/typesafe-sdk-python · ★ 308 · Python · Alpha](https://repo.masters-masters.com/en/repos/typesafe-ai/typesafe-sdk-python)
- [amyreese/markdown-pp · ★ 308 · Python · Alpha](https://repo.masters-masters.com/en/repos/amyreese/markdown-pp)
- [dexy/dexy · ★ 308 · Python · Alpha](https://repo.masters-masters.com/en/repos/dexy/dexy)
- [gmusicproxy/gmusicproxy · ★ 308 · Python · Alpha](https://repo.masters-masters.com/en/repos/gmusicproxy/gmusicproxy)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.