With access to the source, it should be possible to export them to HTML5 using Adobe's flash authoring tools. I've never tried it though, and I don't know how good the HTML5 versions would be.
Edit: huh, it kinda runs with Mozilla's Flash-runtime replacement, Shumway. Another few rounds of bugfixes and we might not need any Adobe code to play these files just as they are.
The problem with most current Flash-to-HTML5 conversions is that they only barely support ActionScript, if at all. So anything meaningfully interactive (like minigames) is pretty much out.
Shumway makes it sound like "we got this" (which then discourages someone like me--someone who has a ton of knowledge of compiler design and a lot of background specifically with JavaScript-based language but almost no interest in duplicating effort, someone who would normally see this call to action and go "oh, I'll add this to my todo list"--from even spending much time researching the current space). Are you saying Shumway only "barely" supports ActionScript?
There are several such projects - swfdec, lightspark, gnash, etc. From what I've seen of them, they all underestimated the amount of effort. Most of them just petered out. So if you're going for it, I would worry less about duplicating effort and more about setting realistic goals for the project.
I wonder if we could wrap them in an OpenFL app exported to HTML5. OpenFL can render SWF content; as for the triggers for the interactive bits that might require access to the original source, alternatively it could be reproduced, it's usually just a matter of "click here to go to scene X" and the hidden scenes themselves would be extant already.
I did this for Strongbad emails years ago using some off-the-shelf flash to mp4 converter but a number of the videos had issues because they were interactive (and not just at the end but sometimes in the middle). I got the majority of them (at the time) converted so I could watch them on my iPod video. This was before I went full-on-data-hoarder and so I deleted them forever ago. Recently I tried to do it again and have all the swfs downloaded but haven't found a great way to mass convert them so I can put them in Plex (media server). If anyone has a good way to do it on linux via the command line I'd be very interested.
EDIT: Looks like they've been uploaded to Youtube: https://www.youtube.com/user/homestarrunnerdotcom