Skip to main content

Categories Blog AI News About

Discover and explore open-source AI skills for Claude Code, Codex CLI, and ChatGPT.

Categories

AI Agents
MCP Servers
Code Generation
CLI Tools
IDE Extensions
DevOps

Resources

Blog
AI News
All Categories
Agent Hub
Hermes Agent
NSFW AI Tools
Security Checker
FAQ
Glossary

Site

About
Submit a Skill
Feedback
Chrome Extension
Privacy
Featured Listing & Refunds

© 2026 SkillsLLM. Open-source AI skills, security-vetted.

llama.cpp vs programming-as-theory-building-skill - AI Skills Comparison | SkillsLLM

HomeComparellama.cpp vs programming-as-theory-building-skill

llama.cpp vs programming-as-theory-building-skill

Side-by-side AI skills comparison

ggml-org

programming-as-theory-building-skill

AnamKwon

Stars

103,839

6

Forks

16,880

0

Language

C++

Python

Category

AI Agents

AI Agents

Security

Verified

Pending

SKILL.md

Votes

0

1

Bookmarks

0

1

Topics

ggml

ai-assisted-programmingai-codingandrej-karpathyandrej-karpathy-skillsclaude-code

Description

LLM inference in C/C++

Claude Code skill that applies Naur's Programming as Theory Building to coding-agent workflows.

View llama.cpp View programming-as-theory-building-skill

claude-plugin

code-generation

coding-agent

developer-tools

llm

peter-naur

programming-as-theory-building

prompt-engineering

refactoring

software-engineering