Stars
Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at
A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
An adventure game for learning to draw.
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 corner of internet, Personal Homepage.