Repositories list

• ghc-whole-program-compiler-project

  Public
  GHC Whole Program Compiler and External STG IR tooling

  haskellghcstg+ 1whole-program-compiler

  Haskell

  •12•116•4•3•Updated Nov 14, 2024Nov 14, 2024

• foundation-pak

  Public
  Shell

  •0•0•0•0•Updated Oct 30, 2024Oct 30, 2024

• ghc-wpc

  Public
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at application link time.

  Haskell

  •

  Other

  •707•10•0•0•Updated Feb 14, 2024Feb 14, 2024

• grin

  Public
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

  haskellcompilerfunctional-programming+ 3llvmoptimisationdata-flow-analysis

  Haskell

  •38•1k•26•4•Updated Apr 28, 2023Apr 28, 2023

• cabal

  Public
  Official upstream development repository for Cabal and cabal-install

  Haskell

  •

  Other

  •697•0•0•0•Updated Apr 14, 2023Apr 14, 2023

• zip-cmd

  Public
  CLI tool for the Haskell `zip` library

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•0•Updated Apr 13, 2023Apr 13, 2023

• external-stg-syntax

  Public
  GHC independent STG IR definition

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•5•0•0•Updated Mar 22, 2023Mar 22, 2023

• packages-Cabal

  Public
  Mirror of packages-Cabal repository. DO NOT SUBMIT PULL REQUESTS HERE. Use https://github.com/haskell/cabal instead.

  Haskell

  •

  Other

  •14•0•0•0•Updated Mar 23, 2022Mar 23, 2022

• ext-stg-interpreter-presentation-demos

  Public
  Haskell

  •1•16•0•0•Updated Dec 20, 2021Dec 20, 2021

• haskell-code-spot

  Public
  Visual tool to spot odd runtime behaviour of Haskell programs.

  visualizationdebuggerprofiler+ 5web-uid3jsghceventloghaskell

  Svelte

  •3•108•1•0•Updated Nov 16, 2021Nov 16, 2021

• ghc-grin

  Public
  GRIN backend for GHC

  haskellcompilerfunctional-programming+ 2ghcgrin

  Haskell

  •4•143•2•3•Updated Nov 9, 2021Nov 9, 2021

• grin-compiler.github.io

  Public
  HTML

  •1•1•0•0•Updated Sep 2, 2020Sep 2, 2020

• ghc-wpc-sample-programs

  Public
  sample programs that compile with GHC whole program compiler

  haskellghcstg+ 1whole-program-compiler

  Haskell

  •1•6•0•0•Updated Jun 26, 2020Jun 26, 2020

• souffle-cfa-optimization-experiment

  Public
  Optimization attempt of the Lambda Control Flow Analysis (STG like language)

  haskellfunctional-programmingcfa+ 7static-analysisdatalogcontrol-flow-analysislazy-evaluationclosuresstgsouffle

  HTML

  •0•7•0•0•Updated May 21, 2020May 21, 2020

• ghc-8.11.0.20200222-src-git-fromSTG-Quickest

  Public
  modified GHC 8.12 that exports external STG (dev version)

  Haskell

  •0•0•0•4•Updated May 12, 2020May 12, 2020

• idris-grin

  Public
  GRIN backend for Idris

  compilerfunctional-programmingidris+ 1grin

  Idris

  •

  Other

  •3•51•3•0•Updated Apr 11, 2020Apr 11, 2020

• presentations

  Public
  This repository collects all the papers/talks we gave about the project.

  CSS

  •0•1•0•0•Updated Oct 11, 2019Oct 11, 2019

• agda-grin

  Public
  GRIN backend for Agda

  Haskell

  •0•10•0•0•Updated Sep 18, 2018Sep 18, 2018