AI Agent Skills

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

Matrix-Game 3.0: Real-Time and Streaming Interactive World Model with Long-Horizon Memory

A CLI code-typing game that turns your source code into typing challenges

luban是一个强大、易用、优雅、稳定的游戏配置解决方案。luban is a powerful, easy-to-use, elegant and stable game configuration solution.

当用户困惑「为什么有人攻击我/为什么大家卷来卷去/我怎么不在乎别人眼光/为什么妒忌」时调用。 核心理念: 人生同时存在零和地位游戏、正和财富游戏、单人游戏; 识别你玩的是哪种游戏, 避免地位游戏, 回到内在记分卡。 不适用于: 具体竞争策略制定（如何赢下某个比赛）。 Triggers: 地位/攀比/内卷/妒忌/别人怎么看我/零和/单人游…

Flexible, extensible, and scalable video game matchmaking.

Farm Steam trading cards, manage achievements, and idle games automatically — an all-in-one alternative to ArchiSteamFarm, Steam Achievement Manager, and Idle Master

Learn Godot's GDScript programming language from zero, right in your browser, for free.

Solidity, the Smart Contract Programming Language

The Julia Programming Language

Dedicated Game Server Hosting and Scaling for Multiplayer Games on Kubernetes

Deep universal probabilistic programming with Python and PyTorch

Tower defense game that teaches cloud architecture. Build infrastructure, survive traffic, learn scaling.

🟩⬜ Generates a snake game from a github user contributions graph and output a screen capture as animated svg or gif

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