Method for Long Context RLMs using verifiable Lambda Calculus
☆300Apr 24, 2026Updated 2 months ago
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:
- Marketplace ML experiment - training without backprop☆28Sep 9, 2025Updated 9 months ago
- https://x.com/BlinkDL_AI/status/1884768989743882276☆28May 4, 2025Updated last year
- ☆19Oct 1, 2025Updated 9 months ago
- JS/TS SDK for working with files and folders in Matrix☆12Jan 9, 2024Updated 2 years ago
- Telnyx JavaScript library for building WebRTC apps with SIP.js☆15Apr 2, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Compute the most likely permutation of a lattice given an LM☆10Jan 3, 2013Updated 13 years ago
- Various mechanized proof files for fun.☆15Jun 6, 2026Updated last month
- X Developer Challenge☆12Apr 25, 2024Updated 2 years ago
- Build Agentic workflows with function calling using open LLMs☆27Jun 1, 2026Updated last month
- "Your Fully-Automated Personal AI Assistant"☆48Oct 16, 2025Updated 8 months ago
- Repo to play with Solid Start features☆11Mar 9, 2022Updated 4 years ago
- Launch and configuration files for running Nav2 on MVsim worlds☆19Jun 5, 2026Updated last month
- A new, open, and permissive Solana NFT standard☆35Sep 4, 2024Updated last year
- ☆10Jul 25, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆85Sep 5, 2025Updated 10 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- A lightweight code assistant with tool-using capabilities built on HuggingFace's smolagents.☆41Jun 11, 2025Updated last year
- Remix Hackernews Demo built on Stream☆12Apr 16, 2022Updated 4 years ago
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆73Nov 4, 2025Updated 8 months ago
- Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.☆11Apr 23, 2023Updated 3 years ago
- ☆45Jun 2, 2023Updated 3 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- A collection of no-code tools that allow you to interact with Compressed NFTs.☆15Jul 17, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Fortran Statistics and Machine Learning Library☆25Jun 28, 2026Updated last week
- A runtime DSL parser generator for python.☆18May 17, 2016Updated 10 years ago
- ☆13Dec 13, 2021Updated 4 years ago
- Native macOS developer tool for local project discovery, code analysis, dependency tracking, and Git insights.☆75Mar 31, 2026Updated 3 months ago
- Scaffolding for a Solana dapp using TS, Next.JS, Tailwinds CSS, and Daisy UI☆15Feb 19, 2022Updated 4 years ago
- ☆17Jun 14, 2026Updated 3 weeks ago
- All the code for the grant program☆14Mar 15, 2024Updated 2 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Use `outlines` generators with Haystack.☆14Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- ☆15Apr 26, 2025Updated last year
- .NET SDK for the Telnyx API☆12Apr 23, 2026Updated 2 months ago
- A language for writing command line interfaces in Racket☆15Dec 20, 2021Updated 4 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- ReDel is a toolkit for researchers and developers to build, iterate on, and analyze recursive multi-agent systems. (EMNLP 2024 Demo)☆95May 11, 2026Updated last month