Yunen He (@heyunen)
github

heyunen

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,435,387 (Top 50 %)
  • Followers 25
  • Following 11
  • Registered about 11 years ago
  • Most used languages
    Racket
         50.0 %
    Scheme
         25.0 %
    Haskell
         25.0 %
  • Location ๐Ÿ‡จ๐Ÿ‡ณ China
  • Country Total Rank 95,439
  • Country Ranking
    Racket
         28
    Haskell
         126
    Scheme
         134

Top repositories

1

Semantics

Racket
2
star
2

Abstract-Interpretation

Abstract Interpretation
Racket
1
star
3

Type-Inference

Type Inference and Type Habitation
Scheme
1
star
4

systematic-abstraction

Haskell
1
star