grin-compiler/grin

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

1080 stars · 41 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

GRIN (Graph Reduction Intermediate Notation) is a compiler back-end and optimizer for lazy and strict functional languages, providing whole-program optimization and code generation. It includes language frontends for Haskell, Idris, and Agda and can target backends like LLVM and WebAssembly.

Use cases

• optimize compiled Haskell programs with whole-program analysis
• compile functional languages to smaller and faster binaries
• target WebAssembly from a functional language
• research graph reduction and functional language optimization techniques
• improve the code generation pipeline of Idris
• experiment with alternative Haskell compiler backends

When to choose

• you are building or improving a compiler for a lazy or strict functional language
• you need whole-program optimization beyond what LLVM provides
• you are researching functional language compilation and graph reduction
• you want to compile Haskell, Idris, or Agda code to new targets like WebAssembly

When to avoid

• you need a production-ready, stable Haskell compiler today - GHC/GRIN is work in progress
• you only need standard LLVM-level optimization for imperative languages
• you need guaranteed runtime support - Idris/GRIN runtime is incomplete and Agda/GRIN is a stub
• you require a permissively licensed dependency - the repository lists no license

Facets

library · maturity active

compiler build-tool compilers programming-languages performance cpp intermediate-representation whole-program-optimization graph-reduction haskell-compiler llvm-backend wasm-targeting research-compiler functional-programming linux macos llvm

Member repositories

For agents

markdown · JSON · MCP: product_card(name="grin-compiler/grin")