AI Agent Skills

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

⚡️ Moldable Live Programming for Clojure

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

Educational computer programming environment using Haskell

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…

Jekyll-based static site for The Programming Historian

Course management service that enables auto-graded programming assignments.

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…

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…

Introduction to GIS Programming