This actually is a real problem. Searching for "C#", "F#" or ".NET" breaks a lot of search engines and you get nothing useful. If I had to name something now I would go for a relatively unique name like "Clojure", "TypeScript" or "Haskell".
Searching for "f*" gives correct link in 1st result in Google. Do you use Yahoo or other search engine?
I am not the other person, but when I try to find a JSON decoding module for F* with "f* json", I get almost completely unrelated results. So, either there is no JSON codec for F* (I guess they could use the F#'s one) or Google can't find it.
you would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"
DDG (which I use) doesn't.
It's only a problem if you use it.
I agree, I used to use R and found it hard to google for.
http://rseek.org/ is a specialized R search engine, only necessary due to the name