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.
☆52Oct 25, 2025Updated 5 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:
- ☆17Jun 12, 2025Updated 10 months ago
- Genesis is a groundbreaking physics platform designed for robotics and embodied AI applications that combines unprecedented simulation sp…☆34Sep 5, 2025Updated 7 months ago
- Establishing a universal standard of trust between AI agents and merchants for the next phase of agentic commerce.☆145Oct 28, 2025Updated 5 months ago
- Agentic_Robots.txt is a protocol specification that extends the traditional robots.txt protocol to enable sophisticated interaction betwe…☆34Feb 14, 2025Updated last year
- MidStream is a powerful platform that makes AI conversations smarter and more responsive. Instead of waiting for an AI to finish speaking…☆100Jan 27, 2026Updated 2 months 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.
- DS.js (Declarative Self‑learning JavaScript☆241Dec 6, 2025Updated 4 months ago
- FACT – Fast Augmented Context Tools: FACT is a lean retrieval pattern that skips vector search. We cache every static token inside Claude…☆161Aug 1, 2025Updated 8 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…☆64Jul 14, 2025Updated 9 months ago
- MACKO: Sparse matrix vector multiplication for low sparsity☆33Apr 6, 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…☆76Apr 8, 2026Updated last week
- A collection of open source and commercial tools that aid in red team operations.☆11Jun 14, 2018Updated 7 years ago
- VectorDB library using dispersion models. Provides graph analysis, vector search and a energy-distribution stats for your vectors in one …☆35Mar 31, 2026Updated 2 weeks ago
- Martingale posterior neural networks for fast sequential decision making @ Neurips 2025☆23Nov 13, 2025Updated 5 months ago
- Rust port of alien-signals 👾 the lightest signal library☆28Feb 11, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Audio classification of domestic cats sounds (hungry, angry, purring, etc) using raw waveforms. PyTorch implementation of M5 architecture…☆19Jan 19, 2022Updated 4 years ago
- Fork of https://github.com/elastic/supply-chain-monitor with local AI backend (vLLM/llama.cpp)☆58Apr 2, 2026Updated last week
- This project provides a FastAPI application to create and update GitHub gists using the GitHub API. It includes SQLite for persistence an…☆15May 26, 2024Updated last year
- A protoc plugin that generates GraphQL execution code from Protocol Buffers☆40Apr 2, 2026Updated 2 weeks ago
- ☆10Jun 4, 2020Updated 5 years ago
- 302 AI Studio is a desktop client that supports multiple large language model (LLM) service providers, compatible with Windows, Mac and L…☆18Oct 27, 2025Updated 5 months ago
- pCMF R package☆14Apr 16, 2019Updated 6 years ago
- Forecasting extension for OpenBB Platform☆17Jul 19, 2024Updated last year
- A Python implementation of a sum-product network with gaussian processes leafs model (SPNGP, arXiv:1809.04400)☆19Jun 29, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An incomplete game engine with tons of useful code.☆13Jan 5, 2026Updated 3 months ago
- ☆14Apr 8, 2026Updated last week
- A GPT agent with a Text Interface tool☆15Feb 10, 2026Updated 2 months ago
- Jupyter notebook and the like to discover the beautiful world of Reproducing Kernel Hilbert Spaces☆14Oct 16, 2018Updated 7 years ago
- Simple snake game powered by Temporal Java, Go, and PHP SDKs☆13Sep 16, 2021Updated 4 years ago
- Smart reproducible analytical pipeline inspection☆21Feb 13, 2026Updated 2 months ago
- Example JMS Project☆12Jun 3, 2025Updated 10 months ago
- Python speech recognition script utilizing the Dragonfly library for speech recognition on Windows☆13Feb 6, 2026Updated 2 months ago
- Demonstrate the value of GitHub☆30Dec 2, 2025Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A lightweight utility to monitor filesystem events and run a script on matching conditions.☆13Nov 1, 2025Updated 5 months ago
- ☆28Jan 17, 2026Updated 2 months ago
- Install, manage and do everything Open vSwitch and SDN related.☆19Nov 24, 2025Updated 4 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
- Repository for the familiar R-package. Familiar implements an end-to-end pipeline for interpretable machine learning of tabular data.☆31Updated this week
- 💬 Use your GitHub repo's Issues as your own ChatGPT (yes, really!)☆13Apr 25, 2025Updated 11 months ago
- AI-powered self-healing system for OpenClaw Gateway • 4-tier autonomous recovery • macOS & Linux☆35Mar 25, 2026Updated 3 weeks ago