grin-compiler/idris-grin grin-compiler/idris-grin

  • Stars
    star
    51
  • Rank 568,706 (Top 12 %)
  • Language Idris
  • License
    Other
  • Created about 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
grin-compiler/idris-grin
github

grin-compiler

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

GRIN backend for Idris

More Repositories

1

grin

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Haskell
1,019
star
2

ghc-grin

GRIN backend for GHC
Haskell
143
star
3

ghc-whole-program-compiler-project

GHC Whole Program Compiler and External STG IR tooling
Haskell
116
star
4

haskell-code-spot

Visual tool to spot odd runtime behaviour of Haskell programs.
Svelte
108
star
5

ext-stg-interpreter-presentation-demos

Haskell
15
star
6

agda-grin

GRIN backend for Agda
Haskell
10
star
7

souffle-cfa-optimization-experiment

Optimization attempt of the Lambda Control Flow Analysis (STG like language)
HTML
7
star
8

ghc-wpc-sample-programs

sample programs that compile with GHC whole program compiler
Haskell
6
star
9

external-stg-syntax

GHC independent STG IR definition
Haskell
5
star
10

presentations

This repository collects all the papers/talks we gave about the project.
CSS
1
star
11

grin-compiler.github.io

HTML
1
star
12

zip-cmd

CLI tool for the Haskell `zip` library
Haskell
1
star