ProjectEuler+ 2025-10-14
As mentioned at euler.stephan-brumme.com these tend to be harder, as they have their own judge system that actually runs programs, and therefore can test input multiple test cases against their reference implementation rather than just hard testing the result for a single input.
Goes only up to Project Euler problem 254 as of 2025, which had been published much much earlier, in 2009, so presumably they've stopped there.
Cool deeptech ones:
Boring ones:
International ones with a British presence:
ARC-AGI visualization Created 2025-10-14 Updated 2025-10-18
www.kaggle.com/code/allegich/arc-agi-2025-visualization-all-1000-120-tasks contains plots of all questions and answers. It is truly very convenient.
LeanAgent 2025-10-14
They do have a database system which is interesting.

There are unlisted articles, also show them or only show them.