formal-verification

verified-3d-mesh-intersection

Lean

68

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

aval

TypeScript

87

A new open-source format for interactive video on the web, with a built-in state machine, frame-accurate transitions, and packed-alpha transparency.

awesome-gamedev-agent-skills

Python

82

Game-development Agent Skills for AI coding agents: install once and a master router loads the right skill for your engine and task. 66 original, version-pinned skills (plus a master router) in the portable SKILL.md format that runs across Claude Code, Cursor, Codex, Copilot, Gemini CLI and more, for Godot, Unity, Unreal, web and beyond.