Rankings
Badges
/
HuStmpHrrr
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jason Hu
@HuStmpHrrr
Refresh
Open GitHub
🇺🇸 Seattle, WA
AWS
Profile age: almost 12 years
Updated 3 days ago
90 followers • 1 following
Contacts
fdhzs2010@hotmail.com
https://hustmphrrr.github.io/
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 5
Persona
Contributor
#409,574
#29,433
#137,532
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
mech-type-theories
32
1
2
updated 9 days ago • age over 1 year
Agda
99.0%
CSS
1.0%
HTML
0.0%
Kripke-style
6
0
1
updated about 1 year ago • age over 3 years
Haskell
94.1%
Agda
5.9%
CSS
0.0%
HTML
0.0%
Makefile
0.0%
agda-categories-1
5
0
updated over 6 years ago • age over 6 years
Agda
100.0%
setproof-experimental
1
0
updated over 4 years ago • age over 4 years
OCaml
88.9%
Agda
11.1%
metalib
0
0
updated over 6 years ago • age over 7 years
Coq
93.3%
TeX
2.5%
Makefile
2.1%
OCaml
1.8%
Python
0.3%
View all 6 repositories
Last Contributions
2025
McTT
1 PR
+1
-1
Rocq Prover
27
2
2
2024
agda-categories
1 PR
+1
-1
Agda
391
74
12
McTT
~58 PRs
+4,139
-1,483
Rocq Prover
27
2
2
2023
McTT
2 PRs
+67
-209
Rocq Prover
27
2
2
2022
agda-stdlib
1 PR
+74
-2
Agda
632
260
16
View all contributions
Latest Updates
30 Oct 2025
Followers Count:
88
90
16 Oct 2025
Followers Count:
89
88
03 Sep 2025
Followers Count:
88
89
20 Aug 2025
Followers Count:
87
88
06 Jan 2025
First seen
Subscribe to HuStmpHrrr's GitHub rank updates in your messenger
WhatsApp
Telegram
