@songyahui
github

songyahui

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    12
  • Global Rank 874,315 (Top 31 %)
  • Followers 29
  • Following 4
  • Registered over 7 years ago
  • Most used languages
    OCaml
         50.0 %
    C
         16.7 %
    C++
         16.7 %
    JavaScript
         16.7 %
  • Location 🇸🇬 Singapore
  • Country Total Rank 2,738
  • Country Ranking
    OCaml
         11
    C
         483
    C++
         749
    JavaScript
         1,963

Top repositories

1

AlgebraicEffect

effects system for continuation
OCaml
12
star
2

SyncedEffects

JavaScript
2
star
3

Semantics_HIPHOP

C++
2
star
4

FirstOrderEffect

Program analysis of first order effects
OCaml
2
star
5

infer_TempFix

ProveNFix is a program analysis/repair tool for temporal properties for C language.
OCaml
2
star
6

Timed_Verification

C
1
star