Ask HN: Free cloud servers for 15 year old high school developers?

Some family friends kids are 15 years old and learning to program.

They need access to a free Linux server so they can learn back end development.

Anyone know of free cloud server access for high school student developers?