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.
☆50Oct 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 9 months ago
- Genesis is a groundbreaking physics platform designed for robotics and embodied AI applications that combines unprecedented simulation sp…☆33Sep 5, 2025Updated 6 months ago
- Establishing a universal standard of trust between AI agents and merchants for the next phase of agentic commerce.☆135Oct 28, 2025Updated 4 months ago
- MidStream is a powerful platform that makes AI conversations smarter and more responsive. Instead of waiting for an AI to finish speaking…☆96Jan 27, 2026Updated last month
- Agentic_Robots.txt is a protocol specification that extends the traditional robots.txt protocol to enable sophisticated interaction betwe…☆34Feb 14, 2025Updated last year
- 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…☆60Mar 19, 2026Updated last week
- DS.js (Declarative Self‑learning JavaScript☆232Dec 6, 2025Updated 3 months ago
- FACT – Fast Augmented Context Tools: FACT is a lean retrieval pattern that skips vector search. We cache every static token inside Claude…☆155Aug 1, 2025Updated 7 months ago
- MACKO: Sparse matrix vector multiplication for low sparsity☆33Jan 24, 2026Updated 2 months ago
- 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 …☆33Mar 2, 2026Updated 3 weeks ago
- Martingale posterior neural networks for fast sequential decision making @ Neurips 2025☆23Nov 13, 2025Updated 4 months ago
- Audio classification of domestic cats sounds (hungry, angry, purring, etc) using raw waveforms. PyTorch implementation of M5 architecture…☆19Jan 19, 2022Updated 4 years ago
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A protoc plugin that generates GraphQL execution code from Protocol Buffers☆40Updated this week
- ☆25Jan 17, 2026Updated 2 months 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 4 months ago
- pCMF R package☆14Apr 16, 2019Updated 6 years ago
- A Python implementation of a sum-product network with gaussian processes leafs model (SPNGP, arXiv:1809.04400)☆19Jun 29, 2023Updated 2 years ago
- Forecasting extension for OpenBB Platform☆17Jul 19, 2024Updated last year
- An incomplete game engine with tons of useful code.☆12Jan 5, 2026Updated 2 months ago
- ☆14Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Jupyter notebook and the like to discover the beautiful world of Reproducing Kernel Hilbert Spaces☆14Oct 16, 2018Updated 7 years ago
- A GPT agent with a Text Interface tool☆15Feb 10, 2026Updated last month
- 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 last month
- Example JMS Project☆12Jun 3, 2025Updated 9 months ago
- Python speech recognition script utilizing the Dragonfly library for speech recognition on Windows☆13Feb 6, 2026Updated last month
- A lightweight utility to monitor filesystem events and run a script on matching conditions.☆13Nov 1, 2025Updated 4 months ago
- Demonstrate the value of GitHub☆30Dec 2, 2025Updated 3 months ago
- Install, manage and do everything Open vSwitch and SDN related.☆19Nov 24, 2025Updated 4 months 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.
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆46Updated this week
- Repository for the familiar R-package. Familiar implements an end-to-end pipeline for interpretable machine learning of tabular data.☆31Updated this week
- 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
- AI-powered self-healing system for OpenClaw Gateway • 4-tier autonomous recovery • macOS & Linux☆30Mar 18, 2026Updated last week
- 💬 Use your GitHub repo's Issues as your own ChatGPT (yes, really!)☆13Apr 25, 2025Updated 11 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 2 months ago
- Jacdac .NET library☆15Aug 14, 2025Updated 7 months ago