Lists (2)
Starred repositories
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Lean 4 programming language and theorem prover
HelixDB is an OLTP graph-vector database built in Rust on Object Storage.
🎨 The open-source Claude Design alternative. 🖥️ Local-first desktop app. 🖼️ Your coding agent becomes the design engine: prototypes, landing pages, dashboards, slides, images & video — real files, …
The API to search, scrape, and interact with the web at scale. 🔥
Makes beautiful and accurate diagrams in less than a minute
this is a dungeon ai run locally that use your llm
250+ Fine-tuning & RL Notebooks for text, vision, audio, embedding, TTS models.
A framework for managing complex projects with spec-driven multi-agent workflows.
A modular, documentation-driven framework using Cursor custom modes (VAN, PLAN, CREATIVE, IMPLEMENT) to provide persistent memory and guide AI through a structured development workflow with visual …
Event Driven Orchestration & Scheduling Platform for Mission Critical Applications
A non-saturating, open-ended environment for evaluating LLMs in Factorio
Aegis is a powerful framework that combines AI capabilities with structured project management.
A Zero-Dependency Stateful PRD Framework for AI-Driven Development
VUA stands for 'VAST Undivided Attention'. It's a global KVCache storage solution optimizing LLM time to first token (TTFT) and GPU utilization.
A comprehensive memory system for Cursor IDE that provides both short-term session memory and long-term persistent memory without relying on external tools or databases.
The Open-Source Multimodal AI Agent Stack: Connecting Cutting-Edge AI Models and Agent Infra
The universal tool suite for vector database management. Manage Pinecone, Chroma, Qdrant, Weaviate and more vector databases with ease.
Get up and running with Kimi-K2.6, GLM-5.2, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.
Cross platform, tiny but ultra fast PNG optimizer
Instant, controllable, local pre-trained AI models in Rust
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
Open-source desktop app for local LLMs. Text, vision, tool-calling, OpenAI/Anthropic-compatible API. 100% private.
Stop renting your intelligence. Own it with AnythingLLM. Everything you need for a powerful local-first agent experience