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 sorry survives.
☆38Jul 30, 2026Updated this week
Alternatives and similar repositories for unsorry
Users that are interested in unsorry are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gold-standard course design templates for AI-first education by Bradley.Academy. For course designers, instructional developers, and AI a…☆18Dec 4, 2025Updated 7 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…☆25Dec 8, 2025Updated 7 months ago
- Deterministic optical-AI front end in pure Rust: a learned phase mask compresses light into task-useful sensor pixels.☆19Jun 18, 2026Updated last month
- Run, quantize, and fine-tune LLMs on Apple Silicon. Pure Rust, no Python, no CUDA, no ONNX☆39Updated this week
- Detachable file viewer and git aware file tree.☆27Nov 6, 2025Updated 8 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The kernel layer for production AI agents☆15Nov 22, 2025Updated 8 months ago
- Machine Dream - Continuous machine cognition research platform with GRASP loop, dreaming consolidation, and persistent memory. Pure LLM S…☆21Jan 24, 2026Updated 6 months ago
- Opinionated DevPod workspace configs for agentic engineering — Claude Code, shared secrets, VS Code extensions, ready on first launch.☆61Updated this week
- AISP (AI Symbolic Programming) v5.1 AI first, spec driven development. A proof-carrying protocol LLMs understand natively without instruc…☆171Jun 9, 2026Updated last month
- Real-time human pose detection and motion tracking system using TensorFlow.js☆17Updated this week
- Technology recommender for RuVector — 200+ AI/ML capabilities, 16 domains, 5 industry verticals. Matches problems to solutions via intent…☆27Jul 20, 2026Updated 2 weeks ago
- Cognitum community support — firmware releases, drivers, bug reports, feature requests☆19Updated this week
- Git for Agent Memory: Copy-On-Write vector branching for embedded multi-agent memory (83x faster, 3000x smaller snapshots)☆47Jul 4, 2026Updated last month
- My vibe casting repository☆19Updated this week
- 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.
- A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-dr…☆58Oct 25, 2025Updated 9 months ago
- Agentic Artifacts is a tool for generating and managing CodeSandbox artifacts using AI. It leverages the power of Ai to create React comp…☆15Jun 24, 2024Updated 2 years ago
- Autonomous Wealth Builder for trading, and real estate☆26May 29, 2026Updated 2 months ago
- AI-powered game engine for dynamic, personalized experiences in evolving worlds. Ethical, accessible, inclusive.☆55Oct 20, 2025Updated 9 months ago
- The Best Agentic Marketing Swarm in the World☆23Jan 21, 2026Updated 6 months ago
- Pattern Space: Where Minds Dance Together☆83Jul 16, 2026Updated 2 weeks ago
- Jack C. Louis's Unicornscan.☆25Mar 27, 2026Updated 4 months ago
- High-level details of the current development pipeline I'm using. Expect this to evolve as tweaks and improvements are made.☆44Aug 13, 2025Updated 11 months ago
- Visual planning and context control for shipping big apps with AI coding. Build from scratch or map existing repos. Dossier maps user wor…☆86Jul 15, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆26Updated this week
- RVM — The Virtual Machine Built for the Agentic Age, in Rust.☆125May 23, 2026Updated 2 months ago
- MidStream is a powerful platform that makes AI conversations smarter and more responsive. Instead of waiting for an AI to finish speaking…☆133Updated this week
- Agentic_Robots.txt is a protocol specification that extends the traditional robots.txt protocol to enable sophisticated interaction betwe…☆40Feb 14, 2025Updated last year
- An AI director that takes your video footage and automatically produces edited videos!☆15May 9, 2026Updated 2 months ago
- ☆38Apr 14, 2026Updated 3 months ago
- SimpleAgents lets anyone vibe-code LLM agents and ship them production-ready. It’s Rust-first with Python/Node/Go bindings, multi-provide…☆33Jun 6, 2026Updated last month
- A blazing-fast, memory-safe neural network library for Rust that brings the power of FANN to the modern world.☆372May 23, 2026Updated 2 months ago
- An open-source, detailed blueprint for implementing highly scalable swarms of specialized AI Agents in enterprise product development, em…☆52Jul 3, 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.
- An open source UI for Meta LLama Stack Apps / Agents☆44Sep 10, 2024Updated last year
- A Biologically-Inspired Cognitive Architecture for Artificial General Intelligence☆16May 10, 2026Updated 2 months ago
- Practical wireless sensing tools and pipelines designed for robust real-world applications.☆16Nov 24, 2025Updated 8 months ago
- Run Claude Code with any LLM provider — drop-in proxy for OpenAI, Gemini, and more. Go.☆23Updated this week
- The AI research assistant that cites real sources honestly — and searches the web. Your AI research assistant that cites real sources and…☆47Updated this week
- ☆27Nov 21, 2025Updated 8 months ago
- ruDevolution — The first decompiler that understands code semantically, recovers original names with AI, proves every transformation with…☆124Jun 27, 2026Updated last month