GitHub repository: KesterTong/azulejo
Primary language: Idris
Description: A tiling game engine for Idris, targeting the browser.