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 →
Similar projects and alternatives to IdrisExtSTGCodegen
GHC Whole Program Compiler and External STG IR tooling
A purely functional programming language with first class types
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.
Manually constructed STG programs compiled with the standard GHC codegen backend.
Lambda normalization and conversion checking benchmarks for various implementations
ZuriHac 2020 GHC typechecker plugins project
rewrite rules for type-level equalities
IdrisExtSTGCodegen reviews and mentions
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
andorp/IdrisExtSTGCodegen is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.