Hacker GitHub

← All repos

github/semantic

View on GitHub ↗ ★ 9,042 Haskell archived

Parsing, analyzing, and comparing source code across many languages

36 mentions on Hacker News by 29 people: 8 stories, 28 comments · first 2019-05-31 · latest 2025-01-08

Mentions per year 36 mentions · busiest year 2019 (13)
20082026
  1. …), and before founding Nuanced, I spent seven years at GitHub where I helped build Semantic( https://github.com/github/semantic ), an open-source library for parsing and analyzing code across languages—and scaled security systems to detect…
  2. Github is using GHC to analyze source code, that might be why they're sponsoring. https://github.com/github/semantic
    comment by iso8859-1 · 2023-10-11 · in GHC 9.8.1
  3. One production example I know: GitHub code navigation is written in Haskell https://github.com/github/semantic
    comment by hmry · 2023-08-13 · in The Meaning of Monad in MonadTrans
  4. …support for new language is a matter of opening up a pull-request with the appropriate gluecode. https://github.com/github/semantic/blob/793a876ae45d38a6bd17...
    comment by ghuntley · 2023-05-29 · in How to Get Started with Tree-Sitter
  5. ah, easy. it's because support has not been added into https://github.com/github/semantic which is the tech that powers the GitHub UI. Adding support is pretty easy/mainly glue code [1] that imports the tree sitter API. [1]…
    comment by ghuntley · 2023-05-29 · in How to Get Started with Tree-Sitter
  6. I believe they use semantic (Haskell program that uses tree-sitter) for navigation: https://github.com/github/semantic So the answer may be that semantic does not yet have support for the language in question.
    comment by cstrahan · 2023-05-28 · in How to Get Started with Tree-Sitter
  7. …GitHub uses Haskell for all its code analyzation, so you're interacting with it all the time! => https://github.com/github/semantic
    comment by adius · 2022-11-03 · in 2022 State of Haskell Survey
  8. …is even rotting for years pull request[2] adding support of the same stack graphs into it. [1] https://github.com/github/semantic [2] https://github.com/github/semantic/pull/535
    comment by xvilka · 2021-12-10 · in Stack Graphs
  9. is this from Github semantic ( https://github.com/github/semantic )? Seems very suspicious since it’s the same goal using the same technologies. The latest commit is 4mo ago but i assume they have a closed-source version they’ve been…
    comment by armchairhacker · 2021-12-09 · in Stack Graphs
  10. Looks similar to https://github.com/github/semantic
  11. I was looking at https://github.com/github/semantic for providing semantic diffs a while back and I still think it would be a good fit. By looking at the diff between trees, you can ignore a lot of the extra noise like indentations, spaces…
  12. …for that purpose and Sourcegraph is experimenting it [3] [1] https://github.com/alidn/lsif-os [2] https://github.com/github/semantic [3] https://github.com/sourcegraph/sourcegraph/issues/17378
  13. …a SQL database of functions, classes and places that they are used. I've also been playing with https://github.com/github/semantic - it can parse Python, JavaScript and other languages and offers a --json-symbols option which dumps out a…
    comment by simonw · 2021-02-17 · in The Database Inside Your Codebase
  14. Shellcheck - https://www.shellcheck.net/ PostgREST - https://postgrest.org/en/v7.0.0/ Semantic - https://github.com/github/semantic Pandoc - https://pandoc.org/
    comment by lalaithion · 2021-02-09 · in Haskell: The Bad Parts, part 2 (2020)
  15. …scripts: https://github.com/koalaman/shellcheck GitHub's semantic analysis is written in Haskell: https://github.com/github/semantic I'm not sure why Pandoc doesn't count. I think it is definitely the case that most examples of successful…
  16. …parser and GitHub Semantic support for COBOL. [1] https://github.com/Neppord/tree-sitter-cobol [2] https://github.com/github/semantic/issues/452
    comment by xvilka · 2020-12-11 · in GnuCOBOL 3.1.1
  17. Github are using it https://github.com/github/semantic Facebook and many others.
    comment by elbear · 2020-11-06 · in Real World Haskell
  18. …the Tree-Sitter parser[2] for it. Then it would require to add support in Haskell bindings [3]. [1] https://github.com/github/semantic/issues/452 [2] https://github.com/Neppord/tree-sitter-cobol [3] https://github.com/tree-sitter/haskell-tr…
  19. GitHub semantic powers goto definition in GitHub IIRC. Here's why they use Haskell: https://github.com/github/semantic/blob/master/docs/why-hask...
    comment by codygman · 2020-09-13 · in What killed Haskell, could kill Rust, too
  20. Haskell library (semantic): https://github.com/github/semantic
  21. …[1] https://en.wikipedia.org/wiki/Church_of_Col%C3%B2nia_G%C3%BC... [2] https://github.com/github/semantic/blob/master/docs/why-hask...
    comment by agentultra · 2020-01-27 · in Haskell Problems for a New Decade
  22. …://cran.r-project.org/web/packages/languageserver/readm... [2] https://github.com/jimhester/lintr [3] https://github.com/github/semantic/issues/382
    comment by xvilka · 2019-12-28 · in What's Next for R?
  23. …that work is creating [1] a tree-sitter [2] parser. So if anyone is willing to help - welcome. [1] https://github.com/github/semantic/issues/382#issuecomment-5... [2] http://tree-sitter.github.io/tree-sitter/
  24. …Semantic [2] library instead. [1] https://github.com/CoatiSoftware/Sourcetrail/issues/750 [2] https://github.com/github/semantic
  25. …code in production. As a recent example GitHub uses this Haskell application for code analysis: https://github.com/github/semantic Also, Erlang powers a huge amount of the US’ cellular infrastructure, as well as RabbitMQ, which is used in…
  26. …but on the requirements. As an example, in my experience, I couldn't build the `semantic` project ( https://github.com/github/semantic ) with those requirements.
  27. I agree with your comment. GitHub does seem to be moving towards adding IDE-like features though: https://github.com/github/semantic
    comment by azhenley · 2019-07-01 · in What I Want from a Type System (2016)
  28. the combination of the Import and Call Graphs ( https://github.com/github/semantic#language-support ) should allow for the construction of a view of what symbols are imported, and where in a given project they are called. resolving those…