Rock (@zbh24)
github

zbh24

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,415,243 (Top 50 %)
  • Followers 5
  • Following 9
  • Registered about 11 years ago
  • Most used languages
    C
         50.0 %
    Coq     25.0 %
    Assembly
         25.0 %
  • Location 🇨🇳 China
  • Country Total Rank 95,439
  • Country Ranking
    Coq     28
    Assembly
         523
    C
         7,357

Top repositories

1

LinuxCourseBlog

Record the the thoughts of Linux Course
C
2
star
2

tinyfs

A mirco but complete and have POSIX interface like ext3 file system
C
2
star
3

JosLab

MIT 6.828 Lab Code
Assembly
1
star
4

DFTL

Coq
1
star