grin

Tech stack & purpose

GRIN, which stands for Graph Reduction Intermediate Notation, is a compiler back-end for lazy and strict functional languages that includes whole program optimization support. It serves as the optimizer and code generator component of the GRIN Compiler project, which provides language frontends for Haskell, Idris, and Agda. The project is built in Haskell and compiles to LLVM, implementing numerous data-flow analysis and optimization transformations including vectorization, case elimination, copy propagation, inlining, unboxing, and dead code elimination. The work is supported by individual backers including Sam Griffin and Holmusk.

Community & reference links

• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=113
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=116
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=118
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=123
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=126
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=129
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=134
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=141
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=142
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=143
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=144
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=148
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=149
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=151
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=153
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=159
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=160
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=164
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=169
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=170
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=171
• example from Boquist PhD
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=41
• nbviewer.jupyter.org/github/grin-compiler/grin/blob/master/papers/boquist.pdf#page=64
• slides
• slides
• Issues / Tasks for new contributors
• example from our implementation
• gitter.im/Grin-Development/Lobby
• grin-compiler.github.io/
• A modern look at GRIN, an optimizing functional language back end
• video
• video
• HaskellerZ - Feb 2018 - Getting things done in Haskell

Languages

Contributors

• 
  Csaba Hruska985 commits · 228 followers
• 
  Andor Penzes500 commits · 111 followers
• 
  Peter Podlovics251 commits · 17 followers
• 
  Peter Podlovics118 commits · 17 followers
• 
  Peter Podlovics24 commits · 17 followers
• Luc Tielen17 commits
• 
  Isaac Elliott15 commits · 219 followers
• Anders Christiansen Sørby9 commits
• 
  Leary7 commits · 9 followers
• Zoe Stafford5 commits
• Daniel Pek4 commits
• exfalso2 commits
• 
  Philipp Hausmann2 commits · 23 followers
• Handré Stolp2 commits
• 
  Tobias Christian Grosser1 commits · 165 followers
• 
  Janus Troelsen1 commits · 187 followers
• 
  Siddharth1 commits · 809 followers
• Daniel Grinshpon1 commits
• Hugh Sipiere1 commits
• 
  Nick Wanninger1 commits · 56 followers