Transpiling to GHC Core language

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

Our great sponsors
  • SonarQube - Static code analysis for 29 languages.
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • SaaSHub - Software Alternatives and Reviews
  • ghc-whole-program-compiler-project

    GHC Whole Program Compiler and External STG IR tooling

    You could use the GHC codegen and RTS via the external STG IR.

  • IdrisExtSTGCodegen

    There is a WIP Idris2 to Ext-STG compiler:

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • typelevel-rewrite-rules

    rewrite rules for type-level equalities

    When writing a typechecker plugin, you can eliminate constraints from the user's program by providing an implementation of the corresponding dictionary. The way you provide that dictionary to ghc is by providing a core expression; for example, this evCast futureDict co expression has type EvTerm, whose first constructor takes an EvExpr, which is a synonym for CoreExpr.

  • tcplugins-zurihac2020

    ZuriHac 2020 GHC typechecker plugins project

    Therefore, one convoluted way to integrate your language into the ghc pipeline would be as follows. Define a magic typeclass:

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