Method for Long Context RLMs using verifiable Lambda Calculus
☆288Apr 24, 2026Updated 3 weeks 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:
- 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
- VSCode Extension for files-to-prompt☆15Feb 25, 2026Updated 2 months ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Jun 7, 2023Updated 2 years ago
- QLLM: A powerful CLI for seamless interaction with multiple Large Language Models. Simplify AI workflows, streamline development, and unl…☆35Apr 11, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Marketplace ML experiment - training without backprop☆27Sep 9, 2025Updated 8 months ago
- JS/TS SDK for working with files and folders in Matrix☆12Jan 9, 2024Updated 2 years ago
- [Mirror] Go bindings for libghostty-vt. Source of truth: https://tangled.org/mitchellh.com/go-libghostty☆133May 5, 2026Updated 2 weeks ago
- Telnyx JavaScript library for building WebRTC apps with SIP.js☆15Apr 2, 2026Updated last month
- Various mechanized proof files for fun.☆15Mar 31, 2026Updated last month
- Production focused Self-harnessed LM runtime (RLM) that allows the LM to call its sub-lm with DSPy signatures. Define your inputs, output…☆337Updated this week
- Build Agentic workflows with function calling using open LLMs☆28May 4, 2026Updated 2 weeks ago
- "Your Fully-Automated Personal AI Assistant"☆49Oct 16, 2025Updated 7 months ago
- Smartphone Controlled 3D Web Game☆13Apr 28, 2015Updated 11 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.
- rust / skia / wasm table at 120fps with x6 cpu slowdown HUEHEHAUHE☆19Mar 22, 2023Updated 3 years ago
- ☆27Feb 13, 2026Updated 3 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A lightweight code assistant with tool-using capabilities built on HuggingFace's smolagents.☆41Jun 11, 2025Updated 11 months ago
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆73Nov 4, 2025Updated 6 months ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- A small package to remove the branding from plotly plots☆14Mar 18, 2018Updated 8 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Sep 6, 2015Updated 10 years ago
- Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.☆11Apr 23, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Flash attention implementation Minimal CUDA implementation of Flash Attention with tiled computation and online softmax. Educational imp…☆21Dec 27, 2025Updated 4 months ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- A runtime DSL parser generator for python.☆18May 17, 2016Updated 10 years ago
- Enemies for your LLM☆36Jan 20, 2026Updated 4 months ago
- ☆13Dec 13, 2021Updated 4 years ago
- Scaffolding for a Solana dapp using TS, Next.JS, Tailwinds CSS, and Daisy UI☆15Feb 19, 2022Updated 4 years ago
- Solana DID-aware on-chain signer and wallet integrations☆46Mar 7, 2023Updated 3 years ago
- A command line parser written in Go☆12Nov 20, 2021Updated 4 years ago
- All the code for the grant program☆14Mar 15, 2024Updated 2 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.
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- ☆15Apr 26, 2025Updated last year
- Fintie Sets in Cubical Agda☆12Aug 30, 2019Updated 6 years ago
- solana mobile dApp that is a clone of cash app☆39Jun 24, 2024Updated last year
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- ☆14Nov 23, 2016Updated 9 years ago