Yunen He (@heyunen)
github

heyunen

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,427,240 (Top 50 %)
  • Followers 25
  • Following 10
  • Registered almost 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
         35
    Scheme
         126
    Haskell
         137

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