Method for Long Context RLMs using verifiable Lambda Calculus
☆296Apr 24, 2026Updated last month
Alternatives and similar repositories for lambda-RLM
Users that are interested in lambda-RLM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple GRPO scripts and configurations.☆59Feb 6, 2025Updated last year
- A collection of CLI LLM tools that I built and use daily☆15Aug 7, 2024Updated last year
- ☆19Oct 1, 2025Updated 8 months ago
- VSCode Extension for files-to-prompt☆15Feb 25, 2026Updated 3 months ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Jun 7, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Debug as an Effect (DaaE)☆10Apr 22, 2025Updated last year
- Marketplace ML experiment - training without backprop☆27Sep 9, 2025Updated 9 months ago
- Typeclass instances for `parsley` to make it compatible with `cats`☆14Jan 24, 2026Updated 4 months ago
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Jan 25, 2019Updated 7 years ago
- Various mechanized proof files for fun.☆15Mar 31, 2026Updated 2 months ago
- Build Agentic workflows with function calling using open LLMs☆28Jun 1, 2026Updated last week
- Production focused Self-harnessed LM runtime (RLM) that allows the LM to call its sub-lm with DSPy signatures. Define your inputs, output…☆364Updated this week
- ☆10Jul 25, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- 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.
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆74Nov 4, 2025Updated 7 months ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Sep 6, 2015Updated 10 years ago
- ☆45Jun 2, 2023Updated 3 years ago
- Weighted multiple-instance learning algorithm☆18Oct 9, 2018Updated 7 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Client SDK to automate stock and options trading☆12May 20, 2024Updated 2 years ago
- Experiment with synthetic domain theory in cubical agda☆15Nov 8, 2022Updated 3 years ago
- Enemies for your LLM☆37Jan 20, 2026Updated 4 months ago
- 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 runtime DSL parser generator for python.☆18May 17, 2016Updated 10 years ago
- A command line parser written in Go☆12Nov 20, 2021Updated 4 years ago
- Use `outlines` generators with Haystack.☆15Jun 1, 2026Updated last week
- LLVM 2.9 branch with TI C64x backend.☆11Oct 17, 2019Updated 6 years ago
- ☆15Apr 26, 2025Updated last year
- Fintie Sets in Cubical Agda☆13Aug 30, 2019Updated 6 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- Demonstrate using MCP with Pydantic AI framework☆14Mar 14, 2025Updated last year
- ☆14Nov 23, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A strongly typed Python DSL for developing message passing multi agent systems☆54Apr 9, 2024Updated 2 years ago
- ☆14Feb 2, 2023Updated 3 years ago
- A tiny scalar-valued autograd engine and neural network library (Karpathy course)☆12Mar 16, 2026Updated 2 months ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Automatic Parallelism Using LLVM☆10Aug 2, 2014Updated 11 years ago
- LLM plugin to generate plugins for LLM☆13Dec 30, 2024Updated last year
- ☆41Mar 26, 2025Updated last year