The standard template to create a lean game
☆49Feb 20, 2026Updated 3 months ago
Alternatives and similar repositories for GameSkeleton
Users that are interested in GameSkeleton are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Server to host Lean games☆500Updated this week
- ☆13Mar 23, 2026Updated 2 months ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Jan 31, 2024Updated 2 years ago
- Set Theory Game☆27Jan 20, 2026Updated 4 months ago
- This project converts structured Lean code into an interactive browser game.☆79Nov 15, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A date and time library for Lean 4