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.
☆61Oct 25, 2025Updated 11 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:
- Enhanced Architecture Decision Record format using the WH(Y) method — structured templates, dependency tracking, and governance metadata …☆26Feb 24, 2026Updated 7 months ago
- MidStream is a powerful platform that makes AI conversations smarter and more responsive. Instead of waiting for an AI to finish speaking…☆149Oct 10, 2026Updated last week
- Technology recommender for RuVector — 200+ AI/ML capabilities, 16 domains, 5 industry verticals. Matches problems to solutions via intent…☆26Jul 20, 2026Updated 2 months ago
- AI-powered game engine for dynamic, personalized experiences in evolving worlds. Ethical, accessible, inclusive.☆57Oct 20, 2025Updated 11 months ago
- Every night, millions spend up to 45 minutes deciding what to watch — billions of hours lost every day. Not from lack of content, but fro…☆26Dec 8, 2025Updated 10 months ago
- 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.
- Deterministic optical-AI front end in pure Rust: a learned phase mask compresses light into task-useful sensor pixels.☆21Oct 10, 2026Updated last week
- Rust + WASM sublinear-time solver for asymmetric diagonally dominant systems. Exposes Neumann series, push, and hybrid random-walk algori…☆91Oct 10, 2026Updated last week
- Visual planning and context control for shipping big apps with AI coding. Build from scratch or map existing repos. Dossier maps user wor…☆89Jul 15, 2026Updated 3 months ago
- Voice rubber-duck debugging assistant: a FastAPI backend bridges the browser (WebRTC) to the OpenAI Realtime API, with server-side tools …☆54Updated this week
- The kernel layer for production AI agents☆15Nov 22, 2025Updated 10 months ago
- Jack C. Louis's Unicornscan.☆30Mar 27, 2026Updated 6 months ago
- Autonomous agents proving theorems in Lean 4 - SETI@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no so…☆42Oct 7, 2026Updated last week
- a formally verified agentic system for capability-bounded autonomous reasoning☆16Oct 9, 2026Updated last week
- Machine Dream - Continuous machine cognition research platform with GRASP loop, dreaming consolidation, and persistent memory. Pure LLM S…☆22Jan 24, 2026Updated 8 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- AISP (AI Symbolic Programming) v5.1 AI first, spec driven development. A proof-carrying protocol LLMs understand natively without instruc…☆177Jun 9, 2026Updated 4 months ago
- Headless agent orchestrator with deterministic state machine — processes a bead queue, dispatches to any LLM CLI, handles every outcome. …☆30Updated this week
- Easily switch between alternative low-cost AI models in Claude Code/Agent SDK. For those comfortable using Claude agents and commands, it…☆819Updated this week
- Run, quantize, and fine-tune LLMs on Apple Silicon. Pure Rust, no Python, no CUDA, no ONNX☆45Updated this week
- This repository contains everything you need to set up a secure, cost-optimized remote development environment running a curated toolset …☆16Nov 22, 2025Updated 10 months ago
- My vibe casting repository☆22Sep 23, 2026Updated 3 weeks ago
- Flow Nexus is the first competitive agentic platform built entirely on MCP. Deploy autonomous AI swarms, train neural networks, and com…☆106Sep 10, 2025Updated last year
- The first platform designed to empower organizations by automating and enhancing their employment processes through advanced autonomous a…☆57Jun 26, 2024Updated 2 years ago
- Cognitum community support — firmware releases, drivers, bug reports, feature requests☆25Sep 10, 2026Updated last month
- 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 Biologically-Inspired Cognitive Architecture for Artificial General Intelligence☆16May 10, 2026Updated 5 months ago
- Governed Evolutionary Software — Autogenous turns runtime failures into verified, portable, reversible software adaptations. AGL typed mu…☆41Updated this week
- bounded multi-source shortest paths benches in Rust, C, C++, Nim, Crystal, Kotlin (JAR), Elixir (.exs), Erlang (.erl).☆18Dec 13, 2025Updated 10 months ago
- Synaptic Neural Mesh: a self-evolving, peer to peer neural fabric where every element is an agent, learning and communicating across a gl…☆83May 23, 2026Updated 4 months ago
- QuDAG Protocol (Quantum-Resistant DAG-Based Anonymous Communication System) - Claude Code implementation of a Test-Driven Development Imp…☆198Oct 10, 2026Updated last week
- DS.js (Declarative Self‑learning JavaScript☆272May 23, 2026Updated 4 months ago
- Agentic Runtime Extensible Server. A composable AI agent runtime in Rust based on the Cordis framework☆17Updated this week
- Genesis is a groundbreaking physics platform designed for robotics and embodied AI applications that combines unprecedented simulation sp…☆46Sep 5, 2025Updated last year
- Realtime all-sky radar in the browser: live ADS-B aircraft, SGP4 satellites, sun/moon, and Rust/WASM anomaly scoring on a polar sky dome.…☆40Jun 14, 2026Updated 4 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.
- AI Agentic API Testing Platform - Automated testing with specialized ephemeral agents☆48Updated this week
- Establishing a universal standard of trust between AI agents and merchants for the next phase of agentic commerce.☆213Oct 28, 2025Updated 11 months ago
- Practical wireless sensing tools and pipelines designed for robust real-world applications.☆19Nov 24, 2025Updated 10 months ago
- Everything you need to use Supabase + Ai☆19May 24, 2024Updated 2 years ago
- The system of record for AI. Models commoditize, trust doesn’t.☆26Updated this week
- Vector memory that gets smarter every time your agent uses it.☆91Updated this week
- Pixel-native visual RAG ported to Rust on the ruvector ANN substrate (HNSW + IVF-Flat) — screenshot/document retrieval over visual embedd…☆44Jun 26, 2026Updated 3 months ago