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
20082026
-
…), 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…
comment by aymandfire · 2025-01-08 · in Nuanced: As AI writes more code, we need better tools to trust it -
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 -
…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 -
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 -
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 -
…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 -
…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 -
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 -
Looks similar to https://github.com/github/semantic
comment by armchairhacker · 2021-07-18 · in Diffsitter: A tree-sitter based AST difftool to get meaningful semantic diffs -
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…
comment by sdesol · 2021-06-30 · in Ignoring bulk change commits with Git blame (2019) -
…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
comment by Annili · 2021-02-22 · in Tree-sitter: an incremental parsing system for programming tools -
…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 -
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) -
…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…
comment by Athas · 2020-12-28 · in New Haskell Foundation to Foster Haskell Adoption, Raises 200k USD -
…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 -
Github are using it https://github.com/github/semantic Facebook and many others.
comment by elbear · 2020-11-06 · in Real World Haskell -
…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…
comment by xvilka · 2020-10-16 · in IBM Watson's Next Challenge: Modernize Legacy Code -
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 -
Haskell library (semantic): https://github.com/github/semantic
comment by tosh · 2020-02-01 · in GitHub: Code Navigation for Go, Python, Ruby (Also: JavaScript, PHP, TypeScript) -
…[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 -
…://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? -
…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/
comment by xvilka · 2019-12-15 · in Rsuite – R development and data science platform -
…Semantic [2] library instead. [1] https://github.com/CoatiSoftware/Sourcetrail/issues/750 [2] https://github.com/github/semantic
comment by xvilka · 2019-11-19 · in Sourcetrail, interactive source explorer, is now free and open-source -
…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…
comment by mplanchard · 2019-10-17 · in Why Isn't Functional Programming the Norm? [video] -
…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.
comment by marceloabsousa · 2019-08-08 · in GitHub Actions now supports CI/CD, free for public repositories -
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) -
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…
comment by sixwing · 2019-05-31 · in Semantic: Parsing, analyzing, and comparing source code across many languages