I ran Muffin Monday at MIT for a couple of years, and each Muffin Monday I would send out a puzzle. I maintain a directory of puzzles and their solutions here:

I have also formalized some puzzles in Coq, though some of the solutions are not (yet) formulated or verified in Coq: