semantic-source VS hnix

Compare semantic-source vs hnix and see what are their differences.


Parsing, analyzing, and comparing source code across many languages (by github)


A Haskell re-implementation of the Nix expression language (by haskell-nix)
Our great sponsors
  • SonarQube - Static code analysis for 29 languages.
  • Scout APM - Less time debugging, more time building
  • SaaSHub - Software Alternatives and Reviews
semantic-source hnix
17 3
8,354 687
0.9% 1.0%
9.6 9.7
28 days ago 27 days ago
Haskell Nix
MIT License BSD 3-clause "New" or "Revised" License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.


Posts with mentions or reviews of semantic-source. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-05-04.
  • 11 Companies That Use Haskell in Production
    7 projects | | 4 May 2022
    GitHub used Haskell for implementing Semantic, a command-line tool for parsing, analyzing, and comparing source code.
  • What happened with GitHub's semantic project?
    3 projects | | 29 Jan 2022
    As far as engineering effort, you can read this GitHub comment for an overview of where we’d like to take the project in the future. The tl;dr here is that the open sum type view of the world made it very concise to fold over syntax trees (since such a view of data is ultimately unityped, recursion schemes Just Work), but the tradeoff thus associated—namely, that you have to parse a concrete syntax tree into an open-sum view (a complicated and painful-to-read process), that you can never really be sure how a given syntax tree is shaped, and that the types don’t help you nearly as much as they could—proved to be too onerous to deal with. Going forward, we’re generating syntax types from the AST once per target language, and working on an abstraction (probably via this generated code; I made five separate efforts at using Generics for this, and failed every time) that recovers at least some of the convenience of recursion schemes. It turns out that recursion schemes over a mutually recursive syntax tree—as pretty much every language’s syntax trees are, in practice—are pretty much an unsolved problem, especially when extended to languages like TypeScript, which have hundreds of different syntax nodes.
    3 projects | | 29 Jan 2022
    I'm just curious. It seems there hasn't been much activity in Is GitHub still using semantic it to power some code navigation features? Has it been abandoned or is there some successor project that has taken its place? Is there any writeup / lessons learned about this project?
  • Stack Graphs
    6 projects | | 9 Dec 2021
    is this from 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 working on.

    6 projects | | 9 Dec 2021
    Meanwhile their Tree-Sitter-based semantic parser[1] looks abandoned. There is even rotting for years pull request[2] adding support of the same stack graphs into it.



  • Cardano relying on Haskell is not bad at all
    1 project | | 30 Nov 2021
    The semantic team at GitHub uses it for statically analyzing the dozens of languages that end up in GitHub repositories:
  • 7 Useful Tools Written in Haskell
    1 project | | 3 Nov 2021
    Yesterday I was looking for some examples of projects using tree-sitter (which is C) when I found GitHub's semantic, used to analyze and compare source code, and written in Haskell:
  • I just published an experimental `tree-sitter` grammar for Swift!
    2 projects | | 28 Aug 2021
    Does anyone here have experience with tree-sitter? If you aren't familiar, tree-sitter is a parser generator tool that builds parsers to use with an incremental parsing library. It's what's responsible for AST parsing on GitHub, for instance.
  • Glean -System for collecting, deriving and querying facts about source code
    4 projects | | 27 Aug 2021
    You might want to put some examples of how exactly to use gleam (maybe a 1-2-3 type fashion?) on the front page if possible. This project seems like github/semantic or possibly even more advanced (given that it comes with it's own query language and a shell) but I just can't figure out exactly how I'd use it exactly.
  • A “Generalized” AST?
    1 project | | 17 Aug 2021
    What about


Posts with mentions or reviews of hnix. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-01-06.
  • Good Haskell Source Code
    5 projects | | 6 Jan 2022
    I also can nominate HNix: Nix is a lazy pure language, HNix is an implementation of Nix in lazy pure language (Haskell). The project was done by a famous expert in the field of compilers/interpreters, which worked on Borland C++ compiler back in a day. The project overall was done by a pretty start team.
  • Tvix: We are rewriting Nix
    2 projects | | 3 Dec 2021
    Well, maintaining a rewrite of Nix in Haskell:
  • HNix - Nix in Haskell, about the project & meeting with the creator
    1 project | | 5 Jun 2021
    HNix is a Nix (pure lazy language) interpreter/tooling in Haskell. So it is a field&case of pure-to-pure, lazy-to-lazy language creation. HNix is created with fancy design paradigms (design introduction): as recursion schemes (since Nix is a recursive language) & Abstracting Definitional Interpreters. Mentioning these two particularly, as they align HNix to GHC in a natural way, design leverages & projects GHC power to HNix, allowing to concentrate on language implementation.

What are some alternatives?

When comparing semantic-source and hnix you can also consider the following projects:

diffsitter - A tree-sitter based AST difftool to get meaningful semantic diffs

months - Month, YearMonth, Quarter, YearQuarter

refined - Refinement types with static checking

Glean - System for collecting, deriving and working with facts about source code.

critbit - A Haskell implementation of crit-bit trees.

massiv - Efficient Haskell Arrays featuring Parallel computation

hashable - A class for types that can be converted to a hash value

scientific - Arbitrary-precision floating-point numbers represented using scientific notation


jump - Jump start your Haskell development

cantor-pairing - Convert data to and from a natural number representation