{"action":"created","issue":{"url":"https://api.github.com/repos/github/linguist/issues/2590","labels_url":"https://api.github.com/repos/github/linguist/issues/2590/labels{/name}","comments_url":"https://api.github.com/repos/github/linguist/issues/2590/comments","events_url":"https://api.github.com/repos/github/linguist/issues/2590/events","html_url":"https://github.com/github/linguist/pull/2590","id":103121659,"number":2590,"title":"Adding support for recognizing F* files  ... no syntax highlighting yet","user":{"login":"catalin-hritcu","id":5850655,"avatar_url":"https://avatars.githubusercontent.com/u/5850655?v=3","gravatar_id":"","url":"https://api.github.com/users/catalin-hritcu","html_url":"https://github.com/catalin-hritcu","followers_url":"https://api.github.com/users/catalin-hritcu/followers","following_url":"https://api.github.com/users/catalin-hritcu/following{/other_user}","gists_url":"https://api.github.com/users/catalin-hritcu/gists{/gist_id}","starred_url":"https://api.github.com/users/catalin-hritcu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/catalin-hritcu/subscriptions","organizations_url":"https://api.github.com/users/catalin-hritcu/orgs","repos_url":"https://api.github.com/users/catalin-hritcu/repos","events_url":"https://api.github.com/users/catalin-hritcu/events{/privacy}","received_events_url":"https://api.github.com/users/catalin-hritcu/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":9,"created_at":"2015-08-25T21:30:41Z","updated_at":"2015-10-14T10:10:12Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/github/linguist/pulls/2590","html_url":"https://github.com/github/linguist/pull/2590","diff_url":"https://github.com/github/linguist/pull/2590.diff","patch_url":"https://github.com/github/linguist/pull/2590.patch"},"body":"F* is an ML-like functional programming language aimed at program verification:\r\nhttps://en.wikipedia.org/wiki/F*_(programming_language)\r\nhttps://www.fstar-lang.org/\r\n\r\nHere is a PR adding support for recognizing F* files based on their extension (`.fst` and `.fsti`). These extensions are not currently in `languages.yml`.\r\n\r\nHere is a GitHub search result showing in-the-wild usage:\r\nhttps://github.com/search?l=&q=module+extension%3Afst&ref=advsearch&type=Code&utf8=%E2%9C%93\r\n\r\nThis PR only provides support for recognizing F* files based on extension. We're also working on contributing F* syntax highlighting back to ace editor:\r\nhttps://github.com/FStarLang/FStar/issues/333\r\nhttps://www.fstar-lang.org/ace/mode-fstar.js\r\nand we also have an Atom grammar we could contribute:\r\nhttps://github.com/FStarLang/atom-fstar/blob/master/grammars/fstar.cson"},"comment":{"url":"https://api.github.com/repos/github/linguist/issues/comments/148001192","html_url":"https://github.com/github/linguist/pull/2590#issuecomment-148001192","issue_url":"https://api.github.com/repos/github/linguist/issues/2590","id":148001192,"user":{"login":"catalin-hritcu","id":5850655,"avatar_url":"https://avatars.githubusercontent.com/u/5850655?v=3","gravatar_id":"","url":"https://api.github.com/users/catalin-hritcu","html_url":"https://github.com/catalin-hritcu","followers_url":"https://api.github.com/users/catalin-hritcu/followers","following_url":"https://api.github.com/users/catalin-hritcu/following{/other_user}","gists_url":"https://api.github.com/users/catalin-hritcu/gists{/gist_id}","starred_url":"https://api.github.com/users/catalin-hritcu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/catalin-hritcu/subscriptions","organizations_url":"https://api.github.com/users/catalin-hritcu/orgs","repos_url":"https://api.github.com/users/catalin-hritcu/repos","events_url":"https://api.github.com/users/catalin-hritcu/events{/privacy}","received_events_url":"https://api.github.com/users/catalin-hritcu/received_events","type":"User","site_admin":false},"created_at":"2015-10-14T10:10:12Z","updated_at":"2015-10-14T10:10:12Z","body":"Requiring a language to be used in hundreds of repos just to be able to allow a single project to get syntax highlighting working for its own files seems completely broken. How about freeing up syntax highlighting on github from this tyranny?"}}