What happened with GitHub's semantic project?

This page summarizes the projects mentioned and recommended in the original post on /r/haskell

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • semantic-source

    Parsing, analyzing, and comparing source code across many languages

  • 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.

  • stack-graphs

    Rust implementation of stack graphs

  • Which they implement in Rust. https://github.com/github/stack-graphs

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Show HN: Excel to Python Compiler

    3 projects | news.ycombinator.com | 23 May 2024
  • Firecrawl: Turn entire websites into LLM-ready Markdown or structured data

    1 project | news.ycombinator.com | 18 May 2024
  • Ask HN: Anyone dislike GitHub action yml syntax

    1 project | news.ycombinator.com | 17 May 2024
  • Really: Policy language for infra that doesn't suck

    1 project | news.ycombinator.com | 16 May 2024
  • How to Build a Chat App with Your Postgres Data using Agent Cloud

    3 projects | dev.to | 13 May 2024