Sirui Lu

@lsrcz

Open GitHub

🇺🇸 San Francisco, CA

OpenAI

Profile age: about 9 years

Updated 15 days ago

80 followers • 33 following

Organizations

Profile Overview

Global United States

Rank in USA

Expert 2

Persona

Influencer

#28,145

#65,434

#23,559

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

grisette

updated 3 months ago • age about 3 years

Haskell95.8%

Jupyter Notebook4.1%

GDB0.1%

Nix0.1%

mini-prover

updated over 7 years ago • age over 7 years

Haskell86.6%

TeX8.8%

Coq4.5%

Makefile0.1%

HieraSynth_OOPSLA25_Artifact

updated 2 months ago • age 4 months

LLVM58.2%

Haskell35.7%

C++3.1%

Python2.5%

Shell0.5%

Pointer-Analysis

updated almost 6 years ago • age almost 7 years

Java100.0%

grisette-haskell-legacy

updated about 3 years ago • age almost 4 years

Haskell99.0%

Python0.6%

Shell0.4%

View all 12 repositories

Last Contributions

2025
xls
1 PR +98-0
C++
1,360
213
357
stackage
2 PRs +2-3
Dockerfile
548
821
xlsynth-crate
~100 PRs +1,554-64
Rust
1
3
2024
highway
~7 PRs +278-15
C++
5,057
385
23
stackage
1 PR +13-0
Dockerfile
548
821

View all contributions

Latest Updates

24 Sep 2025
Followers Count:79 80
09 Sep 2025
Followers Count:78 79
26 Aug 2025
Followers Count:76 78
12 Aug 2025
Followers Count:75 76
14 Jul 2025
Company:@uwplse OpenAI
Email:siruilu@cs.washington.edu (removed)
Location:Seattle, WA San Francisco, CA
Followers Count:77 75
06 Jan 2025
First seen

Subscribe to lsrcz's GitHub rank updates in your messenger

WhatsApp Telegram