Oh man just reminded me of a strange dream, the other day. A lady was enthusiastic about Haskell and was trying to encourage me to get into it. I was like "I like the language but the official docs are bad, I don't know how to learn it!"
OP, This looks really cool. Do you know what the housing situation looks like for Summer interns at NASA? That is, do you know if interns receive a housing stipend?
I'd have to check for this one. There's some general guidance on NASA internships here and those questions are in the FAQ: https://intern.nasa.gov/#faq-section
The project (Ogma) looks like it involves a lot of parsing, converting between data types, and the emitting new code. Haskell is a pretty good fit for that type of domain.
But maybe I should get back into Haskell...!