He Zhu (@rowangithub)
github

rowangithub

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    26
  • Global Rank 542,735 (Top 19 %)
  • Followers 16
  • Registered almost 10 years ago
  • Most used languages
    OCaml
         100.0 %
  • Location 🇨🇦 Canada
  • Country Total Rank 12,848
  • Country Ranking
    OCaml
         15

Top repositories

1

DOrder

DOrder -- Automatically Learning Shape Specifications
OCaml
20
star
2

Poling

Poling -- SMT Aided Linearizability Proofs
OCaml
4
star