AI Agent Skills

Pragmatic, balanced FP in JavaScript. @FLJSBook on twitter.

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

A statically-typed, functional typesetting system

Educational computer programming environment using Haskell

学习计算机科学的电子书

: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.

Source repo for the book

Repositorio com livros de programação

KCL Programming Language Core and API (CNCF Sandbox Project). https://kcl-lang.io

Solidity, the Smart Contract Programming Language

The Julia Programming Language

Deep universal probabilistic programming with Python and PyTorch

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