Transpiling to GHC Core language

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

CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
Nutrient – The #1 PDF SDK Library, trusted by 10K+ developers
Other PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 different countries.
www.nutrient.io
featured
  1. 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. https://github.com/grin-compiler/ghc-whole-program-compiler-project

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. IdrisExtSTGCodegen

    There is a WIP Idris2 to Ext-STG compiler: https://github.com/andorp/IdrisExtSTGCodegen

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

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

  • ELI5: Why does the new Javascript backend need to live in GHC instead of consuming GHC-WPC output?

    1 project | /r/haskell | 20 Dec 2022
  • Why is the debugger so bad in Haskell? (or is it just me)

    3 projects | /r/haskell | 19 Oct 2021
  • Haskell program inspector tooling development

    1 project | /r/haskell | 23 Jul 2021
  • What are you hyped about today?

    2 projects | /r/haskell | 15 May 2021
  • Next-gen Haskell Compilation Techniques

    4 projects | /r/haskell | 10 Jan 2021