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.
☆42Sep 3, 2026Updated last month
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:
- Repo Explainer — turn any GitHub repo into a visual explainer page. Pipeline + 5 live examples.☆62Sep 20, 2026Updated last week
- Deterministic optical-AI front end in pure Rust: a learned phase mask compresses light into task-useful sensor pixels.☆21Jun 18, 2026Updated 3 months ago
- Run, quantize, and fine-tune LLMs on Apple Silicon. Pure Rust, no Python, no CUDA, no ONNX☆42Updated this week
- Enhanced Architecture Decision Record format using the WH(Y) method — structured templates, dependency tracking, and governance metadata …☆26Feb 24, 2026Updated 7 months ago
- Detachable file viewer and git aware file tree.☆28Nov 6, 2025Updated 10 months ago
- 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.
- The kernel layer for production AI agents☆15Nov 22, 2025Updated 10 months ago
- Machine Dream - Continuous machine cognition research platform with GRASP loop, dreaming consolidation, and persistent memory. Pure LLM S…☆22Jan 24, 2026Updated 8 months ago
- Opinionated DevPod workspace configs for agentic engineering — Claude Code, shared secrets, VS Code extensions, ready on first launch.☆62Sep 2, 2026Updated last month
- AISP (AI Symbolic Programming) v5.1 AI first, spec driven development. A proof-carrying protocol LLMs understand natively without instruc…☆177Jun 9, 2026Updated 3 months ago
- Real-time human pose detection and motion tracking system using TensorFlow.js☆18Updated 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 months ago
- My vibe casting repository☆22Sep 23, 2026Updated last week
- Cognitum community support — firmware releases, drivers, bug reports, feature requests☆24Sep 10, 2026Updated 3 weeks ago
- A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-dr…☆61Oct 25, 2025Updated 11 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- a formally verified agentic system for capability-bounded autonomous reasoning☆16Jul 31, 2026Updated 2 months ago
- Specs that enforce themselves. Turn specs into contracts that can't be broken by helpful LLMs.☆25Updated this week
- Autonomous Wealth Builder for trading, and real estate☆26May 29, 2026Updated 4 months ago
- AI-powered game engine for dynamic, personalized experiences in evolving worlds. Ethical, accessible, inclusive.☆56Oct 20, 2025Updated 11 months ago
- The Best Agentic Marketing Swarm in the World☆22Jan 21, 2026Updated 8 months ago
- Pattern Space: Where Minds Dance Together☆85Jul 16, 2026Updated 2 months ago
- Jack C. Louis's Unicornscan.☆30Mar 27, 2026Updated 6 months ago
- High-level details of the current development pipeline I'm using (this repo now deprecated)☆44Sep 16, 2026Updated 2 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Visual planning and context control for shipping big apps with AI coding. Build from scratch or map existing repos. Dossier maps user wor…☆89Jul 15, 2026Updated 2 months ago
- ☆28Updated this week
- RVM — The Virtual Machine Built for the Agentic Age, in Rust.☆147Sep 23, 2026Updated last week
- MidStream is a powerful platform that makes AI conversations smarter and more responsive. Instead of waiting for an AI to finish speaking…☆147Updated 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
- ☆40Apr 14, 2026Updated 5 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…☆34Jun 6, 2026Updated 3 months ago
- A blazing-fast, memory-safe neural network library for Rust that brings the power of FANN to the modern world.☆381Aug 9, 2026Updated last month
- An open source UI for Meta LLama Stack Apps / Agents☆44Sep 10, 2024Updated 2 years ago
- 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.
- A Biologically-Inspired Cognitive Architecture for Artificial General Intelligence☆16May 10, 2026Updated 4 months ago
- Practical wireless sensing tools and pipelines designed for robust real-world applications.☆18Nov 24, 2025Updated 10 months ago
- Realtime all-sky radar in the browser: live ADS-B aircraft, SGP4 satellites, sun/moon, and Rust/WASM anomaly scoring on a polar sky dome.…☆39Jun 14, 2026Updated 3 months ago
- ☆27Nov 21, 2025Updated 10 months ago
- Vector memory that gets smarter every time your agent uses it.☆89Jul 30, 2026Updated 2 months ago
- Self-learning knowledge system for quality engineering. Rust, SQLite + optional PostgreSQL, ONNX embeddings, hybrid retrieval, Bayesian q…☆25Updated this week
- ☆16Apr 27, 2025Updated last year