AISP (AI Symbolic Programming) v5.1 AI first, spec driven development. A proof-carrying protocol LLMs understand natively without instructions or training. Reduces AI decision points from 40-65% to <2%. Made for AI and agents. Works directly with Claude, OpenAI, Gemini, Cursor, Claude Code. The assembly language for AI cognition.
☆174Jun 9, 2026Updated 2 months ago
Alternatives and similar repositories for aisp-open-core
Users that are interested in aisp-open-core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Run, quantize, and fine-tune LLMs on Apple Silicon. Pure Rust, no Python, no CUDA, no ONNX☆41Updated this week
- a formally verified agentic system for capability-bounded autonomous reasoning☆16Jul 31, 2026Updated last month
- Real-time human pose detection and motion tracking system using TensorFlow.js☆17Updated this week
- Interactive claude-flow v3 orchestration coach skill - guides topology selection, agent deployment, memory config & intelligence layers. …☆22Feb 3, 2026Updated 7 months ago
- 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 so…☆41Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Voice rubber-duck debugging assistant: a FastAPI backend bridges the browser (WebRTC) to the OpenAI Realtime API, with server-side tools …☆52Updated this week
- Visual planning and context control for shipping big apps with AI coding. Build from scratch or map existing repos. Dossier maps user wor…☆88Jul 15, 2026Updated last month
- Detachable file viewer and git aware file tree.☆27Nov 6, 2025Updated 9 months ago
- Opinionated DevPod workspace configs for agentic engineering — Claude Code, shared secrets, VS Code extensions, ready on first launch.☆61Updated this week
- 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 8 months ago
- Simple repo containing claude skills I have created. Drop these into your .claude/skills directory.☆16Jul 8, 2026Updated last month
- The kernel layer for production AI agents☆15Nov 22, 2025Updated 9 months ago
- ☆40Apr 14, 2026Updated 4 months ago
- Gold-standard course design templates for AI-first education by Bradley.Academy. For course designers, instructional developers, and AI a…☆20Dec 4, 2025Updated 8 months 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.
- Technology recommender for RuVector — 200+ AI/ML capabilities, 16 domains, 5 industry verticals. Matches problems to solutions via intent…☆27Jul 20, 2026Updated last month
- High-level details of the current development pipeline I'm using. Expect this to evolve as tweaks and improvements are made.☆44Aug 13, 2025Updated last year
- Jack C. Louis's Unicornscan.☆28Mar 27, 2026Updated 5 months ago
- Enhanced Architecture Decision Record format using the WH(Y) method — structured templates, dependency tracking, and governance metadata …☆25Feb 24, 2026Updated 6 months ago
- A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-dr…☆61Oct 25, 2025Updated 10 months ago
- ☆20Apr 9, 2026Updated 4 months ago
- Agentic dev environment for DevPods, Codespaces & Rackspace Spot — one-command setup of Ruflo orchestration (215+ MCP tools, 60+ agents u…☆172Updated this week
- Deterministic optical-AI front end in pure Rust: a learned phase mask compresses light into task-useful sensor pixels.☆20Jun 18, 2026Updated 2 months ago
- A blazing-fast, memory-safe neural network library for Rust that brings the power of FANN to the modern world.☆378Aug 9, 2026Updated 3 weeks 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.
- ☆55Aug 16, 2025Updated last year
- Rust + WASM sublinear-time solver for asymmetric diagonally dominant systems. Exposes Neumann series, push, and hybrid random-walk algori…☆89Aug 2, 2026Updated last month
- Evolution of the SPARC methodology☆20Sep 12, 2025Updated 11 months ago
- ☆27Nov 21, 2025Updated 9 months ago
- MidStream is a powerful platform that makes AI conversations smarter and more responsive. Instead of waiting for an AI to finish speaking…☆138Aug 26, 2026Updated last week
- AI-powered game engine for dynamic, personalized experiences in evolving worlds. Ethical, accessible, inclusive.☆55Oct 20, 2025Updated 10 months ago
- RVM — The Virtual Machine Built for the Agentic Age, in Rust.☆140Updated this week
- Logseq Spring Thing Immersive & Agentic Knowledge Development Engine☆93Updated this week
- Agentic QE Fleet is an open-source AI-powered QA/QE platform designed for use with Coding Agents (works best with Claude Code) featuring …☆473Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆19Aug 2, 2026Updated last month
- ☆25Sep 10, 2025Updated 11 months ago
- My vibe casting repository☆21Updated this week
- Seine: Agentic search orchestration. 20 AI agents. Gated pipeline. Calibrated confidence. Claude Code/Cowork plugin.☆25Aug 5, 2026Updated 3 weeks ago
- Easily switch between alternative low-cost AI models in Claude Code/Agent SDK. For those comfortable using Claude agents and commands, it…☆799Jul 30, 2026Updated last month
- NIX based agent container☆19Updated this week
- 🛠️ The meta-harness for AI agents — scaffold your own focused, branded agent harness with its own npx CLI, MCP server, memory, learning …☆627Updated this week