zhengyao

@zhengyao-lin

Open GitHub

🇺🇸 Pittsburgh, PA

Profile age: almost 11 years

Updated 1 day ago

954 followers • 1,288 following

Organizations

Profile Overview

Global United States

Global Rank

Legend 2

Persona

Influencer

#220,627

#804,939

#7,870

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

ink

updated over 9 years ago • age almost 10 years

C++88.8%

Yacc6.6%

Makefile2.3%

Lex2.2%

Shell0.2%

ivm

updated about 8 years ago • age over 9 years

C91.0%

C++8.1%

CMake0.8%

Shell0.1%

sf-lf

updated about 6 years ago • age about 6 years

Coq100.0%

Phi

updated over 8 years ago • age over 10 years

C++75.1%

Yacc10.6%

Forth8.4%

Lex3.9%

Makefile2.1%

lfs-docker

updated about 3 years ago • age over 3 years

Dockerfile100.0%

View all 9 repositories

Last Contributions

2025
verus
~6 PRs +3,061-23
Rust
2,044
121
33
cedar
~30 PRs +334-103
Rust
1,170
108
43
cedar-spec
~18 PRs +232-49
Lean
137
28
6
human-eval-verus
1 PR +198-2
Rust
23
13
owl
1 PR +25-13
Rust
22
2
1

View all contributions

Latest Updates

18 Oct 2025
Followers Count:952 954
20 Sep 2025
Followers Count:947 952
06 Sep 2025
Followers Count:949 947
23 Aug 2025
Followers Count:950 949
08 Aug 2025
Avatar:changed
Followers Count:949 950
05 Jan 2025
First seen

Subscribe to zhengyao-lin's GitHub rank updates in your messenger

WhatsApp Telegram