manual-stg-experiment VS IdrisExtSTGCodegen

Compare manual-stg-experiment vs IdrisExtSTGCodegen and see what are their differences.

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.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
manual-stg-experiment IdrisExtSTGCodegen
1 6
22 23
- -
1.8 0.0
over 3 years ago over 1 year ago
Haskell Idris
- GNU General Public License v3.0 or later
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 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:


Posts with mentions or reviews of IdrisExtSTGCodegen. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-05-19.
  • is dependent haskell still a thing?
    4 projects | /r/haskell | 19 May 2023
    In practice we will probably have an STG backend for Idris2 before a dependent Haskell, then at least you could link together Haskell and Idris code
  • What are you hyped about today?
    2 projects | /r/haskell | 15 May 2021
    I write an Idris2 backend which compiles to STG, yesterday we achieved to run the HelloWorld using functions from GHC.Base :)
  • Transpiling to GHC Core language
    4 projects | /r/haskell | 30 Apr 2021
    There is a WIP Idris2 to Ext-STG compiler:
  • BOB 2021 Andor Penzes - STG Backend for Idris2
    3 projects | /r/Idris | 29 Mar 2021
    Ah, the repo also has the slides of the talk, which are a nice first step to video-less content.
  • Next-gen Haskell Compilation Techniques
    4 projects | /r/haskell | 10 Jan 2021
    | The Idris language versions have always supported easy and modular code generation. I am working on the Idris-ExtSTG backend closely collaborating with Csaba. The progress can be followed here: . I am going to give a talk about my experiences at BobKonf 2021:

What are some alternatives?

When comparing manual-stg-experiment and IdrisExtSTGCodegen you can also consider the following projects:

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

Idris2 - A purely functional programming language with first class types

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.

ghc-whole-program-compiler-project - GHC Whole Program Compiler and External STG IR tooling

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

tcplugins-zurihac2020 - ZuriHac 2020 GHC typechecker plugins project

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


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.

lean4 - Lean 4 programming language and theorem prover