Shayan Najd's repositories
Haskell-Desugar
Desugaring HSE AST
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
MetaProg2016
my codes, hacks, and notes of MetaProg2016
Feldspar-ImageProcessing
An implementation of a few simple image processing algorithms in Feldspar
Haskell-Desugar-Generic
Generic Desugaring of Haskell-Src-Exts AST
NanoGHC-Frontend
An Idealised Model of GHC's Frontend Suitable for Experiments
Pico-Feldspar
An EDSL in Haskell generating C code frVery small subset of https://github.com/Feldspar with the experimental features like
QFeldspar-Idris
A port of QFeldspar to Idris
QuickAnnotate
A Preprocessor to inject the corresponding source locations into the top-level definitions
ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
ghc-docker-dev
A docker container for hacking on the Haskell GHC compiler
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
haddock
Mirror of haddock repository. DO NOT SUBMIT PULL REQUESTS HERE. Use http://github.com/haskell/haddock instead!
MiniLava
A minimal variant of Chalmers Lava 2000
quickcheck
Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!
SPLS-Oct2017
Code from my talk at SPLS, October 2017, Edinburgh
StackSet
An unofficial xmonad version.
th-desugar
TH-Desugar + A Tinier Core Language