Ask HN: What to do with unused AWS credits?

I was given some AWS credits through an incubator for my startup but I've since moved almost everything over to Digital Ocean and have around $5k of credits remaining. They expire in a few months so I'm looking for worthwhile causes I can donate server time to. Something like Folding@Home or perhaps an open source project that could use more CPU time for a few months.