manual-stg-experiment VS ghc-whole-program-compiler-project

Compare manual-stg-experiment vs ghc-whole-program-compiler-project and see what are their differences.

manual-stg-experiment

Manually constructed STG programs compiled with the standard GHC codegen backend. (by csabahruska)

ghc-whole-program-compiler-project

GHC Whole Program Compiler and External STG IR tooling (by grin-compiler)
Nutrient - The #1 PDF SDK Library
Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.
nutrient.io
featured
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
manual-stg-experiment ghc-whole-program-compiler-project
1 9
21 117
- 0.9%
1.8 4.6
about 4 years ago 3 months ago
Haskell Haskell
- -
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.

manual-stg-experiment

Posts with mentions or reviews of manual-stg-experiment. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-01-10.
  • Next-gen Haskell Compilation Techniques
    4 projects | /r/haskell | 10 Jan 2021
    Yes, unlifted boxed STG values does not have thunk checks. The STG to Cmm codegen generates only a single ADT tag lookup code. You can check the generated ASM code: https://github.com/csabahruska/manual-stg-experiment https://github.com/csabahruska/manual-stg-experiment/blob/master/StgSample.hs#L390-L391

ghc-whole-program-compiler-project

Posts with mentions or reviews of ghc-whole-program-compiler-project. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-01-06.
  • Can GHCi be run like PDB?
    3 projects | /r/haskell | 6 Jan 2023
    Another thing you can try is the ghc-wpc project which has an interpreter which supports breakpoints, though you may need to hack little a bit to achieve your goals.
  • 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
    If I understand the new GHCJS backend correctly, it diverges from the normal compilation pipeline at STG (see the new StgToJS module subtree). Wouldn't that make it an excellent candidate to use GHC-WPC's machine-readable external STG representation, instead of hooking it directly into the GHC source tree?
  • Haskell compiled onto LLVM increase performance?
    4 projects | /r/haskell | 2 Nov 2021
    Here the goal is to build a high level, easy to understand model for all GHC backend features. Validations is also required. Once we know the semantics of GHC primops and RTS features then it becomes possible to figure out how to compile Haskell programs to GRIN. I started the GHC-WPC project for this reason. GHC-WPC exports the STG intermediate representation for the whole Haskell program, and I wrote an STG interpreter from scratch in Haskell that can run any Haskell program. (i.e. GHC itself) The STG interpreter is the high level model for the GHC primop and RTS semantics. It implements all these in pure Haskell, it does not depend on GHC RTS at all.
  • Why is the debugger so bad in Haskell? (or is it just me)
    3 projects | /r/haskell | 19 Oct 2021
    I can easily debug any Haskell program with the external STG interpreter. https://www.youtube.com/watch?v=DkDUEd3pUyM https://github.com/grin-compiler/ghc-whole-program-compiler-project
  • Haskell program inspector tooling development
    1 project | /r/haskell | 23 Jul 2021
    Hello, I'm using the external STG interpreter to observe the runtime behaviour of Haskell programs. Lately I've added an initial call-graph construction feature that I plan to refine further. https://twitter.com/csaba_hruska/status/1417486380536582151 Is there anyone who has dynamic analysis related research ambitions and wants to study Haskell program runtime behaviour in detail? If so then it would be great to talk.
  • What are you hyped about today?
    2 projects | /r/haskell | 15 May 2021
    I haven't gotten my hands dirty yet, but really excited hearing GHC-WPC is going on!
  • GHC Pluggable Backend?
    4 projects | /r/haskell | 4 May 2021
    Why didn't you mention GHC-WPC? It is also a backend sample. It exports enough information (STG + linker opts + c bits) to interpret the program or to generate a binary executable via the regular GHC codegen system. https://github.com/grin-compiler/ghc-whole-program-compiler-project
  • Transpiling to GHC Core language
    4 projects | /r/haskell | 30 Apr 2021
    You could use the GHC codegen and RTS via the external STG IR. https://github.com/grin-compiler/ghc-whole-program-compiler-project
  • Next-gen Haskell Compilation Techniques
    4 projects | /r/haskell | 10 Jan 2021
    Remarks: 1. Strict functional languages can be expressed in STG without overhead, because STG has explicit liftedness control. In a strict language every data is unlifted or unboxed. 2. Supporting all GHC primops is not unrealistic. See the primop implementation in the external STG interpreter source code. Here is the implementation of the threading primops.

What are some alternatives?

When comparing manual-stg-experiment and ghc-whole-program-compiler-project you can also consider the following projects:

IdrisExtSTGCodegen

haskell.nix - Alternative Haskell Infrastructure for Nixpkgs

sense-lang - Sense is a very high level, functional programming language for creating software by writing only the absolute necessary information and not a single line above that.

grin - GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

normalization-bench - Lambda normalization and conversion checking benchmarks for various implementations

ghc-dump - A GHC plugin and library for analysing GHC Core

shwifty - DEPRECATED: use https://github.com/MercuryTechnologies/moat

ghc-wpc - GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at application link time.

Schemer - A simple Scheme compiler for my thesis

typelevel-rewrite-rules - rewrite rules for type-level equalities

Nutrient - The #1 PDF SDK Library
Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.
nutrient.io
featured
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

Did you know that Haskell is
the 25th most popular programming language
based on number of references?