AI Agent Skills

结对编程搭档。当用户要求"边写边审"、"结对编程"、"写完自己 review 一遍"、"高可靠地实现"，或明确希望代码交付时附带自我审查意见时使用。交付代码的同时输出结构化审查（正确性/安全/性能/可读性/健壮性五维度），重点捕捉 AI 生成代码的特有缺陷。不用于：对已有 PR 的正式评审（用 code review 流程）、安全专项扫…

A multi-module course teaching everything you need to know about using GitHub Copilot as an AI Peer Programming resource.

学习计算机科学的电子书

A stack-agnostic Claude Code skill: strict code reviewer, pair programmer, debugger, and mentor (Python/Bash/Apps Script/JS). Security-first, phase-aware engineering dis…

:books: Freely available programming books

:books: 免费的计算机编程类中文书籍，欢迎投稿

Source repo for the book

Solidity, the Smart Contract Programming Language

The Julia Programming Language

Deep universal probabilistic programming with Python and PyTorch

The Learning Interpretability Tool: Interactively analyze ML models to understand their behavior in an extensible and framework agnostic interface.

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

A general-purpose probabilistic programming system with programmable inference

A probabilistic programming language in TensorFlow. Deep generative models, variational inference.

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic c…

Customizable no-code component for building flow-based programming applications or workflow automation. 0 external dependencies. Check out https://nocode-js.com