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 last year
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:
- Detachable file viewer and git aware file tree.☆28Nov 6, 2025Updated last year
- Enhanced Architecture Decision Record format using the WH(Y) method — structured templates, dependency tracking, and governance metadata …☆26Feb 24, 2026Updated 8 months ago
- MidStream is a powerful platform that makes AI conversations smarter and more responsive. Instead of waiting for an AI to finish speaking…☆150Updated this week
- Technology recommender for RuVector — 200+ AI/ML capabilities, 16 domains, 5 industry verticals. Matches problems to solutions via intent…☆25Jul 20, 2026Updated 3 months ago
- Agentic_Robots.txt is a protocol specification that extends the traditional robots.txt protocol to enable sophisticated interaction betwe…☆41Feb 14, 2025Updated last year
- 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.
- AI-powered game engine for dynamic, personalized experiences in evolving worlds. Ethical, accessible, inclusive.☆57Oct 20, 2025Updated last year
- 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
- Rust + WASM sublinear-time solver for asymmetric diagonally dominant systems. Exposes Neumann series, push, and hybrid random-walk algori…☆91Oct 10, 2026Updated 3 weeks ago
- WiFi Veil — a privacy firewall against unauthorized WiFi sensing. Compliant waveform controls only, never jamming. SYNTHETIC/L0 evidence,…☆26Aug 9, 2026Updated 2 months ago
- Voice rubber-duck debugging assistant: a FastAPI backend bridges the browser (WebRTC) to the OpenAI Realtime API, with server-side tools …☆55Oct 23, 2026Updated 2 weeks ago
- Visual planning and context control for shipping big apps with AI coding. Build from scratch or map existing repos. Dossier maps user wor…☆88Updated this week
- Deterministic optical-AI front end in pure Rust: a learned phase mask compresses light into task-useful sensor pixels.☆21Oct 10, 2026Updated 3 weeks ago
- test results from Bradley's savant ai compared to base model and existing SOTA agents☆14Nov 21, 2025Updated 11 months ago
- Browser-based GA car racer with a cross-track vector-memory bridge (ruvector WASM). No build step.☆17Oct 2, 2026Updated last month
- 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.
- Jack C. Louis's Unicornscan.☆31Mar 27, 2026Updated 7 months ago
- rvCSI — edge RF sensing runtime: normalize WiFi CSI from Nexmon/ESP32/Intel/Atheros/file/replay into one validated CsiFrame schema, run r…☆28Oct 12, 2026Updated 3 weeks ago
- RVM — The Virtual Machine Built for the Agentic Age, in Rust.☆155Oct 28, 2026Updated last week
- a formally verified agentic system for capability-bounded autonomous reasoning☆15Oct 9, 2026Updated 3 weeks 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…☆45Updated this week
- Machine Dream - Continuous machine cognition research platform with GRASP loop, dreaming consolidation, and persistent memory. Pure LLM S…☆22Jan 24, 2026Updated 9 months ago
- The Dream Machine — a config-driven engine for nightly, cloud-scheduled, evidence-gated repository evolution. Composes @metaharness/flywh…☆44Updated this week
- AISP (AI Symbolic Programming) v5.1 AI first, spec driven development. A proof-carrying protocol LLMs understand natively without instruc…☆176Jun 9, 2026Updated 4 months ago
- High-performance quantum computing in pure Rust + WebAssembly: state-vector circuit simulator with SIMD & noise models, VQE, Grover, QAOA…☆20Oct 31, 2026Updated last week
- 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.
- OpenAVO is an open harness for long horizon autonomous reasoning, combining prediction, memory, supervision, verification, and adaptive a…☆19Aug 22, 2026Updated 2 months ago
- CVE-bench — conformant reproduce-and-fix security benchmark from public CVEs + OSS fix-PRs/tests. Apply-patch -> run the security test (F…☆25Jun 27, 2026Updated 4 months ago
- A blazing-fast, memory-safe neural network library for Rust that brings the power of FANN to the modern world.☆387Updated this week
- Easily switch between alternative low-cost AI models in Claude Code/Agent SDK. For those comfortable using Claude agents and commands, it…☆837Updated this week
- Decentralized Autonomous Applications (DAAs). Building the Future with Self-Managing Applications.☆254Oct 10, 2026Updated 3 weeks ago
- rvDNA — AI-native genomic analysis in pure Rust + WASM: biomarker risk scoring, 23andMe genotyping, CYP2D6/CYP2C19 pharmacogenomics, vari…☆14Jul 31, 2026Updated 3 months ago
- This repository contains everything you need to set up a secure, cost-optimized remote development environment running a curated toolset …☆16Nov 22, 2025Updated 11 months ago
- An interactive review and implementation workspace for the Open Intelligence Architecture — a nine-layer reference architecture for enter…☆12May 20, 2026Updated 5 months ago
- Consistent dev environments anywhere. Define once in YAML, deploy to Docker, Fly.io, or DevPod. Pre-built extensions for AI, languages & …☆17Updated this week
- 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.
- 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
- Run AI models on Apple Silicon and Raspberry Pi☆46Updated this week
- The first platform designed to empower organizations by automating and enhancing their employment processes through advanced autonomous a…☆57Jun 26, 2024Updated 2 years ago
- bounded multi-source shortest paths benches in Rust, C, C++, Nim, Crystal, Kotlin (JAR), Elixir (.exs), Erlang (.erl).☆18Dec 13, 2025Updated 10 months ago
- My vibe casting repository☆23Sep 23, 2026Updated last month
- QuDAG Protocol (Quantum-Resistant DAG-Based Anonymous Communication System) - Claude Code implementation of a Test-Driven Development Imp…☆198Oct 10, 2026Updated 3 weeks ago
- Synaptic Neural Mesh: a self-evolving, peer to peer neural fabric where every element is an agent, learning and communicating across a gl…☆82May 23, 2026Updated 5 months ago