AI Agent Skills

Open-source AI pair programming for desktop: a Mentor + Executor agent cross-check each other's code to catch AI hallucinations. Works with Claude Code, Codex, Gemini &…

Deep universal probabilistic programming with Python and PyTorch

Static analysis tool that catches 1000+ bug patterns across all popular programming languages, with auto-wiring into AI coding agent quality guardrails

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.

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

Educational computer programming environment using Haskell

Jekyll-based static site for The Programming Historian

Course management service that enables auto-graded programming assignments.

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…

Implementation of the RoboDK API in different programming languages. The RoboDK API allows simulating and programming any industrial robot (offline and online)

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

Pulumi - Infrastructure as Code in any programming language 🚀

A programming framework for agentic AI