AI Agent Skills

学习计算机科学的电子书

:books: Freely available programming books

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

Source repo for the book

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…

⚡️ Moldable Live Programming for Clojure

Genetic Programming in Python, with a scikit-learn inspired API

PLDB: a Programming Language DataBase

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one p…

Introduction to GIS Programming

SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding chal…

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more

esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.