A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-driven optimization, and vector-backed agent memory.
☆53Oct 25, 2025Updated 6 months ago
Alternatives and similar repositories for lean-agentic
Users that are interested in lean-agentic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Genesis is a groundbreaking physics platform designed for robotics and embodied AI applications that combines unprecedented simulation sp…☆34Sep 5, 2025Updated 8 months ago
- Establishing a universal standard of trust between AI agents and merchants for the next phase of agentic commerce.☆162Oct 28, 2025Updated 6 months ago
- Agentic_Robots.txt is a protocol specification that extends the traditional robots.txt protocol to enable sophisticated interaction betwe…☆35Feb 14, 2025Updated last year
- DS.js (Declarative Self‑learning JavaScript☆244Dec 6, 2025Updated 5 months ago
- FACT – Fast Augmented Context Tools: FACT is a lean retrieval pattern that skips vector search. We cache every static token inside Claude…☆166Aug 1, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Visual planning and context control for shipping big apps with AI coding. Build from scratch or map existing repos. Dossier maps user wor…☆79Apr 27, 2026Updated last week
- Martingale posterior neural networks for fast sequential decision making @ Neurips 2025☆25Nov 13, 2025Updated 5 months ago
- Fork of https://github.com/elastic/supply-chain-monitor with local AI backend (vLLM/llama.cpp)☆61Apr 2, 2026Updated last month
- Forecasting extension for OpenBB Platform☆17Jul 19, 2024Updated last year
- ☆14Apr 27, 2026Updated last week
- ☆81Nov 12, 2025Updated 5 months ago
- A GPT agent with a Text Interface tool☆15Feb 10, 2026Updated 2 months ago
- A lightweight utility to monitor filesystem events and run a script on matching conditions.☆13Nov 1, 2025Updated 6 months ago
- Condense source code for LLM analysis by extracting essential highlights, utilizing a simplified version of Paul Gauthier's repomap techn…☆14Mar 3, 2024Updated 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.
- Repository for the familiar R-package. Familiar implements an end-to-end pipeline for interpretable machine learning of tabular data.☆31Apr 23, 2026Updated last week
- 💬 Use your GitHub repo's Issues as your own ChatGPT (yes, really!)☆13Apr 25, 2025Updated last year
- Jacdac .NET library☆15Aug 14, 2025Updated 8 months ago
- This repository implements the "Ralph" autonomous coding loop pattern, designed to be agnostic of the specific AI agent being used. Wheth…☆31Jan 7, 2026Updated 3 months ago
- AI-powered self-healing system for OpenClaw Gateway • 4-tier autonomous recovery • macOS & Linux☆36Apr 24, 2026Updated last week
- Code for Rethinking Prompt Optimizers: From Prompt Merits to Optimization☆13Jan 12, 2026Updated 3 months ago
- Code for the NeurIPS 2021 paper "Higher Order Kernel Mean Embeddings to Capture Filtrations of Stochastic Processes".☆10Oct 27, 2021Updated 4 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆15Apr 25, 2026Updated last week
- Kernels, the machine learning ones☆14Mar 6, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- SIT (Signature-Informed Transformer For Asset Allocation)☆19Nov 26, 2025Updated 5 months ago
- Self-Aware Feedback Loop Algorithm (python)☆147Jun 24, 2025Updated 10 months ago
- GAN-inspired three-agent harness that pits a generator against an adversarial evaluator to build applications with quality gates at every…☆107Mar 29, 2026Updated last month
- Command line tool for MakeCode editors☆17Jan 20, 2026Updated 3 months ago
- A WebSocket-based inter-terminal communication system that creates a local network between multiple Pi coding agent terminals. Enables te…☆32Updated this week
- Demo showing how to use Entra ID with MCP servers without passing access tokens through.☆14Apr 4, 2025Updated last year
- This is the code repository for 7FNCE025W High Frequency Trading.☆10Apr 12, 2023Updated 3 years ago
- ☆42Updated this week
- ☆27May 19, 2025Updated 11 months 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.
- Official code for "PCF-GAN: generating sequential data via the characteristic function of measures on the path space"☆13Jan 12, 2025Updated last year
- ☆13Apr 13, 2026Updated 3 weeks ago
- Loft Plugin for DevSpace - adds commands like `devspace create space` or `devspace create vcluster` to DevSpace☆22Apr 28, 2026Updated last week
- Pytorch implementation of Deep Hedging, Utility Maximization and Portfolio Optimization☆18Sep 22, 2024Updated last year
- ☆16Apr 10, 2024Updated 2 years ago
- Alchemist - A Ray-based High-Performance Automated Trading System☆21Dec 22, 2025Updated 4 months ago
- A collection of open-source GPU accelerated Python tools and examples for quantitative analyst tasks and leverages RAPIDS AI project, Num…☆17Oct 24, 2024Updated last year