Rankings
Badges
/
LinerSu
Rankings
Badges
Overview
Ranks
Repositories
Languages
Yusen Su
@LinerSu
Refresh
Open GitHub
🇨🇦 Canada
University of Waterloo
Profile age: almost 8 years
Updated 15 days ago
19 followers • 8 following
Contacts
y256su@uwaterloo.ca
Profile Overview
Global
Canada
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 3
Persona
Influencer
#707,776
#1,453,449
#750,212
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
nyu-pl-spring-20-rec
12
2
updated about 5 years ago • age over 5 years
Standard ML
39.0%
Assembly
22.7%
Yacc
17.8%
Racket
10.9%
Lex
9.5%
NYU-Spr19-Abstract-Interpretation
5
0
updated about 6 years ago • age about 6 years
OCaml
91.4%
Makefile
8.6%
lab-travis-ci
0
0
updated about 6 years ago • age about 6 years
Python
91.1%
HTML
4.8%
CSS
4.1%
verify-c-common
0
1
updated about 1 year ago • age almost 5 years
C
54.0%
CMake
24.4%
Jupyter Notebook
16.3%
Python
4.1%
Dockerfile
1.2%
ReviewInspector
0
0
updated almost 7 years ago • age almost 7 years
Python
69.0%
Jupyter Notebook
31.0%
Last Contributions
2025
seahorn
1 PR
+294
-0
C
459
130
5
2024
seahorn
2 PRs
+672
-20
C
459
130
5
2023
crab
1 PR
+2
-0
C++
246
33
2022
seahorn
3 PRs
+456
-12
C
459
130
5
crab
~6 PRs
+293
-13
C++
246
33
View all contributions
Subscribe to LinerSu's GitHub rank updates in your messenger
WhatsApp
Telegram
