Kate Lo (@katelo731)
github

katelo731

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Followers 4
  • Following 3
  • Registered over 6 years ago
  • Most used languages
    C
         50.0 %
    Coq     50.0 %
  • Location πŸ‡ΉπŸ‡Ό Taiwan
  • Country Total Rank 8,309
  • Country Ranking
    Coq     1
    C
         1,013

Top repositories

1

CO_Lab

Coq
1
star
2

simple_DBMS

A simple DBMS developed using C
C
1
star