Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/shayan-najd

Badges

Overview
Ranks
Repositories
Languages

Shayan Najd

@shayan-najd

🇸🇪 Sweden

Profile age: about 13 years

Updated 3 days ago

50 followers • 17 following

Contacts

sh.najd@gmail.com

Repositories

23

1

updated over 10 years ago • age almost 12 years

Haskell61.9%

TeX34.5%

C3.2%

Makefile0.2%

Shell0.2%

14

3

1

updated almost 10 years ago • age about 11 years

Haskell95.3%

C3.9%

Shell0.8%

Haskell-Desugar

10

0

updated over 12 years ago • age about 13 years

Haskell100.0%

NativeMetaprogramming

9

0

updated about 9 years ago • age over 9 years

Haskell78.4%

C10.0%

Emacs Lisp7.9%

Makefile2.1%

Terra1.6%

9

1

updated about 7 years ago • age about 7 years

Haskell100.0%

Embedding-By-Normalisation

5

1

updated over 9 years ago • age over 9 years

Agda64.2%

TeX32.2%

Haskell3.6%

4

3

updated over 8 years ago • age over 10 years

Idris100.0%

NanoGHC-Frontend

1

0

updated over 7 years ago • age over 7 years

Haskell89.9%

Logos8.1%

Yacc2.0%

1

0

updated about 8 years ago • age about 8 years

Haskell84.7%

C10.7%

Makefile2.2%

Terra1.8%

C++0.5%

QFeldspar-Idris

1

1

updated over 10 years ago • age over 10 years

Idris84.1%

C++13.2%

C2.7%

Contributions