AI Agent Skills

In-browser literate notebooks

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

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

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

⚡️ Moldable Live Programming for Clojure

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…

Cadence: the resource-oriented smart contract programming language of the Flow network. Capability-based security, type safety, and move semantics

Explore diverse LeetCode solutions in Python, C++, JavaScript, SQL, and TypeScript. Ideal for interview prep, learning, and code practice in multiple programming languag…

A probabilistic programming language

Dive into this repository, a comprehensive resource covering Data Structures, Algorithms, 450 DSA by Love Babbar, Striver DSA sheet, Apna College DSA Sheet, and FAANG Qu…

Apache Beam is a unified programming model for Batch and Streaming data processing.

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

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.