You can definitely run F# on Mono. Since F* seems to be an extension of F#, it might work on Mono too, but I don't know that for sure.

A lot of what comes out of MS Research ends up in their mainstream Visual Studio supported languages, so I would not be surprised to see at least some of F* get rolled into F# vNext, and maybe eventually C# too.