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 →
IdrisExtSTGCodegen Alternatives
Similar projects and alternatives to IdrisExtSTGCodegen
-
ghc-whole-program-compiler-project
GHC Whole Program Compiler and External STG IR tooling
-
-
SonarQube
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
Manually constructed STG programs compiled with the standard GHC codegen backend.
-
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
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.
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?
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
There is a WIP Idris2 to Ext-STG compiler: https://github.com/andorp/IdrisExtSTGCodegen
-
BOB 2021 Andor Penzes - STG Backend for Idris2
Ah, the repo also has the slides of the talk, which are a nice first step to video-less content.
The github repo describes the project as "Pre-alpha, compiles a HelloWorld".
-
Next-gen Haskell Compilation Techniques
| 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
Stats
Basic IdrisExtSTGCodegen repo stats
5
19
7.5
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.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com