Shayan Najd

MiniFeldspar. Haskell

QFeldspar. QFeldspar: a QDSL front-end for MiniFeldspar

Haskell-Desugar. Desugaring HSE AST

HsAST. An Extensible AST for GHC

NativeMetaprogramming. Native Metaprogramming in Haskell

Embedding-By-Normalisation. Supporting Material for the paper "Embedding-By-Normalisation"

NanoFeldspar. A Tiny Fragment of Feldspar (and MiniFeldspar) Suitable for Pedagogical Purposes

wl-pprint. A mirror of wl-pprint fixed for GHC 7.10.2

QHaskell. QHaskell: a tool for developing QDSLs in Haskell

MetaProg2016. my codes, hacks, and notes of MetaProg2016

HsParser. Stand-Alone Parser from GHC

Pico-Feldspar. An EDSL in Haskell generating C code frVery small subset of https://github.com/Feldspar with the experimental features like

NanoGHC-Frontend. An Idealised Model of GHC's Frontend Suitable for Experiments

QuickAnnotate. A Preprocessor to inject the corresponding source locations into the top-level definitions

QFeldspar-Idris. A port of QFeldspar to Idris

Haskell-Desugar-Generic. Generic Desugaring of Haskell-Src-Exts AST

GrowableGHC. Haskell

Feldspar-ImageProcessing. An implementation of a few simple image processing algorithms in Feldspar

FCover. Code Coverage in Functional Concurrent Languages