Last released May 20, 2026
Generates python code representing a puzzle
Last released Mar 4, 2026
str8ts solver using z3
Last released Jan 19, 2025
Generates a piece of messy code in a given language displaying a given string
Supported by
