[nickik]

The 'original' RISC-V core was called Rocket.

https://github.com/chipsalliance/rocket-chip

So they picked a European rocket as a name.

[rpiguy]

That one that blew up (Arriane V). lol.

[touisteur]

I think it was the first launch? Since then if memory serves the program has very reliable (if expensive). There also was a (very good) Ariane 4 before with quite the OK record...