maze game encoded in Lean 4 syntax

Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

Resource gathering + programming game

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

An adventure game for learning to draw.

Try Haskell

A MIT-licensed, deployable starter kit for building and customizing your own version of AI town - a virtual town where AI characters live, chat and socialize.

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

十分钟魔法练习

🏡 My cozy corner on the Internet.

Thoughts Memo 汉化组翻译合集