a formally verified agentic system for capability-bounded autonomous reasoning
☆16Jul 31, 2026Updated 3 weeks ago
Alternatives and similar repositories for LNkernel
Users that are interested in LNkernel 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
- The kernel layer for production AI agents☆15Nov 22, 2025Updated 9 months ago
- Interactive claude-flow v3 orchestration coach skill - guides topology selection, agent deployment, memory config & intelligence layers. …☆22Feb 3, 2026Updated 6 months ago
- AISP (AI Symbolic Programming) v5.1 AI first, spec driven development. A proof-carrying protocol LLMs understand natively without instruc…☆174Jun 9, 2026Updated 2 months ago
- ☆20Apr 9, 2026Updated 4 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.
- Simple repo containing claude skills I have created. Drop these into your .claude/skills directory.☆16Jul 8, 2026Updated last month
- ☆27Nov 21, 2025Updated 9 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 8 months ago
- ☆85Aug 1, 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 10 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…☆40Aug 17, 2026Updated last week
- My vibe casting repository☆21Updated this week
- Pattern Space: Where Minds Dance Together☆84Jul 16, 2026Updated last month
- Bidirectional communication between Claude Code CLI and Telegram. Control your Claude Code sessions from your phone.☆16Jun 19, 2026Updated 2 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.
- ☆20Nov 13, 2024Updated last year
- 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
- Opinionated DevPod workspace configs for agentic engineering — Claude Code, shared secrets, VS Code extensions, ready on first launch.☆61Updated this week
- Voice rubber-duck debugging assistant: a FastAPI backend bridges the browser (WebRTC) to the OpenAI Realtime API, with server-side tools …☆52Updated this week
- ☆25Sep 10, 2025Updated 11 months ago
- Flow Nexus is the first competitive agentic platform built entirely on MCP. Deploy autonomous AI swarms, train neural networks, and com…☆101Sep 10, 2025Updated 11 months ago
- QuDAG Protocol (Quantum-Resistant DAG-Based Anonymous Communication System) - Claude Code implementation of a Test-Driven Development Imp…☆195May 23, 2026Updated 3 months ago
- Jack C. Louis's Unicornscan.☆28Mar 27, 2026Updated 5 months ago
- Agentic Preview is an asynchronous FastAPI backend service that allows users to deploy preview environments using Fly.io.☆14Oct 11, 2024Updated last year
- 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.
- 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.…☆36Jun 14, 2026Updated 2 months ago
- Agentic QE Fleet is an open-source AI-powered QA/QE platform designed for use with Coding Agents (works best with Claude Code) featuring …☆471Updated this week
- 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
- adapt data to and from every format☆28Apr 27, 2026Updated 4 months ago
- ☆11Mar 12, 2021Updated 5 years ago
- Practical Java examples showing finalized features from Java 22 to 25 to simplify upgrading from Java 21 to 25☆16Sep 17, 2025Updated 11 months ago
- ruDevolution — The first decompiler that understands code semantically, recovers original names with AI, proves every transformation with…☆137Jun 27, 2026Updated 2 months ago
- A comprehensive steganography framework for embedding and extracting agentic commands in audio and video media using ultrasonic frequenci…☆102Jun 9, 2025Updated last year
- A react-based starter app for using the Multimodal Live API over websockets with Gemini☆16Dec 22, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The rUv Enterprise AI Guide is a comprehensive resource designed to assist Chief Information Officers (CIOs) and technology leaders in na…☆95May 3, 2024Updated 2 years ago
- Cross-platform voice-to-text dictation for Linux and macOS. Local/private STT using Parakeet-TDT 1.1B with NVIDIA CUDA or Apple CoreML ac…☆17Aug 9, 2026Updated 3 weeks ago
- Python class regionalizing processes from the ecoinvent database using trade date from the UN COMTRADE database and common sense.☆26Aug 21, 2026Updated last week
- ☆47Apr 13, 2026Updated 4 months ago
- Samples for configuring PreEmptive Protection DashO☆12Dec 31, 2024Updated last year
- ☆33Feb 6, 2025Updated last year
- ☆13May 6, 2026Updated 3 months ago