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
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%
coqdocjs
0
0
updated about 6 years ago • age about 6 years
JavaScript
44.8%
CSS
41.7%
HTML
7.6%
Makefile
5.9%
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
2021
agda-stdlib
1 PR
+157
-30
Agda
632
260
16
2020
agda-stdlib
1 PR
+121
-0
Agda
632
260
16
agda-categories
~23 PRs
+6,060
-1,698
Agda
391
74
12
2019
996.ICU
1 PR
+2
-2
274,744
21,022
agda-stdlib
3 PRs
+99
-21
Agda
632
260
16
Show more
