AI Agent Skills

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

学习计算机科学的电子书

:books: Freely available programming books

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

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

Solidity, the Smart Contract Programming Language

The Julia Programming Language

Deep universal probabilistic programming with Python and PyTorch

Digital logic design tool and simulator

A digital logic designer and circuit simulator.

GPT-SoVITS ONNX Inference Engine & Model Converter

A general-purpose probabilistic programming system with programmable 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

⚡️ Moldable Live Programming for Clojure

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…