Shayan Najd (@shayan-najd)
github

shayan-najd

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    93
  • Global Rank 219,017 (Top 8 %)
  • Followers 47
  • Following 17
  • Registered about 12 years ago
  • Most used languages
    Haskell
         77.8 %
    Agda     5.6 %
    C
         5.6 %
    Erlang
         5.6 %
    Idris     5.6 %
  • Location 🇸🇪 Sweden
  • Country Total Rank 2,059
  • Country Ranking
    Agda     7
    Idris     7
    Haskell
         27
    Erlang
         156
    C
         1,538

Top repositories

1

MiniFeldspar

Haskell
23
star
2

QFeldspar

QFeldspar: a QDSL front-end for MiniFeldspar
Haskell
14
star
3

Haskell-Desugar

Desugaring HSE AST
Haskell
10
star
4

NativeMetaprogramming

Native Metaprogramming in Haskell
Haskell
9
star
5

HsAST

An Extensible AST for GHC
Haskell
9
star
6

Embedding-By-Normalisation

Supporting Material for the paper "Embedding-By-Normalisation"
Agda
5
star
7

NanoFeldspar

A Tiny Fragment of Feldspar (and MiniFeldspar) Suitable for Pedagogical Purposes
Haskell
4
star
8

QHaskell

QHaskell: a tool for developing QDSLs in Haskell
Haskell
3
star
9

MetaProg2016

my codes, hacks, and notes of MetaProg2016
Haskell
2
star
10

HsParser

Stand-Alone Parser from GHC
Haskell
2
star
11

QFeldspar-Idris

A port of QFeldspar to Idris
Idris
1
star
12

Haskell-Desugar-Generic

Generic Desugaring of Haskell-Src-Exts AST
Haskell
1
star
13

Feldspar-ImageProcessing

An implementation of a few simple image processing algorithms in Feldspar
C
1
star
14

FCover

Code Coverage in Functional Concurrent Languages
Erlang
1
star
15

QuickAnnotate

A Preprocessor to inject the corresponding source locations into the top-level definitions
Haskell
1
star
16

NanoGHC-Frontend

An Idealised Model of GHC's Frontend Suitable for Experiments
Haskell
1
star
17

GrowableGHC

Haskell
1
star
18

Pico-Feldspar

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