GitHub repository: DEIS-Tools/WordAAL
Primary language: Svelte
Description: Interactive UPPAAL playing Wordle demo