Gan Shen (@gshen42)
github

gshen42

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    79
  • Global Rank 246,367 (Top 9 %)
  • Followers 32
  • Following 19
  • Registered over 8 years ago
  • Most used languages
    Agda     33.3 %
    Haskell
         33.3 %
    TeX
         16.7 %
    Prolog
         16.7 %
  • Location 🇺🇸 United States
  • Country Total Rank 64,650
  • Country Ranking
    Agda     42
    Prolog
         113
    Haskell
         265
    TeX
         3,272

Top repositories

1

HasChor

Functional choreographic programming in Haskell
Haskell
80
star
2

ml-type-inference

ML-style type inference in Prolog
Prolog
4
star
3

cut

Cut elimination for intuitionistic propositional logic and its applications.
Agda
2
star
4

chor-alg.paper

TeX
2
star
5

agda-playground

Agda
1
star
6

CodeVault

Assorted random code
Haskell
1
star