100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
Solve the daily Letterboxed word puzzle from the New York Times.
Game set for developers to release stress with the terminal
Games about algorithms for kids (French)