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