IdrisExtSTGCodegen Alternatives

Similar projects and alternatives to IdrisExtSTGCodegen

ghc-whole-program-compiler-project

3 97 6.4 Haskell IdrisExtSTGCodegen VS ghc-whole-program-compiler-project

GHC Whole Program Compiler and External STG IR tooling
Idris2

1 2,035 9.6 Idris IdrisExtSTGCodegen VS Idris2

A purely functional programming language with first class types
SonarQube

www.sonarqube.org
sponsored

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.
manual-stg-experiment

1 21 0.8 Haskell IdrisExtSTGCodegen VS manual-stg-experiment

Manually constructed STG programs compiled with the standard GHC codegen backend.
normalization-bench

1 47 0.0 Haskell IdrisExtSTGCodegen VS normalization-bench

Lambda normalization and conversion checking benchmarks for various implementations
tcplugins-zurihac2020

1 19 0.0 HTML IdrisExtSTGCodegen VS tcplugins-zurihac2020

ZuriHac 2020 GHC typechecker plugins project
typelevel-rewrite-rules

1 62 0.0 Haskell IdrisExtSTGCodegen VS typelevel-rewrite-rules

rewrite rules for type-level equalities

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better IdrisExtSTGCodegen alternative or higher similarity.

Suggest an alternative to IdrisExtSTGCodegen

IdrisExtSTGCodegen reviews and mentions

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 2021-05-15.

What are you hyped about today?
2 projects | reddit.com/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 :) https://github.com/andorp/IdrisExtSTGCodegen/commit/0150510a7d6160806a85d799768d39f9acc65d30#diff-a15cf9e0e0625f8260bb7b91a4f4ca8e4f4558acf37d4cc834acd2e8a4cdf89aR6
Transpiling to GHC Core language
4 projects | reddit.com/r/haskell | 30 Apr 2021

There is a WIP Idris2 to Ext-STG compiler: https://github.com/andorp/IdrisExtSTGCodegen
BOB 2021 Andor Penzes - STG Backend for Idris2
3 projects | reddit.com/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.

3 projects | reddit.com/r/Idris | 29 Mar 2021

The github repo describes the project as "Pre-alpha, compiles a HelloWorld".
Next-gen Haskell Compilation Techniques
4 projects | reddit.com/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: https://github.com/andorp/IdrisExtSTGCodegen . I am going to give a talk about my experiences at BobKonf 2021: https://bobkonf.de/2021/penzes.html
A note from our sponsor - InfluxDB
www.influxdata.com | 25 Mar 2023

Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression. Learn more →

Stats

Basic IdrisExtSTGCodegen repo stats

Mentions

Stars

Activity

7.5

Last Commit

4 months ago

andorp/IdrisExtSTGCodegen is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.