Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/xuanruiqi

Badges

Overview
Ranks
Repositories
Languages

Xuanrui Qi

@xuanruiqi

🇯🇵 Nagoya, Japan

@HashHubTokyo

Profile age: about 10 years

Updated 3 days ago

85 followers • 54 following

Contacts

me@xuanruiqi.com

https://www.xuanruiqi.com

Organizations

Repositories

vdpau-va-driver-vp9

Archived

17

3

updated about 1 year ago • age about 4 years

C97.7%

M41.6%

Makefile0.8%

8

0

updated almost 5 years ago • age about 5 years

Coq100.0%

7

1

updated almost 3 years ago • age about 5 years

Coq100.0%

algebraic-geometry

7

0

updated over 4 years ago • age about 5 years

Coq100.0%

rebuild-initramfs-dracut-arch-legacy

Archived

5

0

updated over 1 year ago • age over 5 years

Shell74.2%

Roff25.8%

0

0

updated over 7 years ago • age almost 8 years

C++64.6%

Java31.7%

Makefile3.7%

0

0

1

updated over 7 years ago • age over 7 years

TeX100.0%

Archived

0

0

updated almost 7 years ago • age about 9 years

Haskell84.5%

Coq9.6%

HTML5.8%

awesome-compilers

0

0

updated over 8 years ago • age over 8 years

0

0

updated almost 10 years ago • age almost 10 years

C++100.0%

Contributions

2025
Fluent-gtk-theme
1 PR +30,363-1
CSS
1,291
70
13
2021
genie
1 PR +27-27
Python
1,860
106
41
ssrmint
1 PR +1-1
Python
4
2
2019
opam-repository
2 PRs +104-0
555
1,207
PLGradSchools
2 PRs +67-2
233
35
Kami
3 PRs +70-13
Coq
209
13
opam
1 PR +36-0
OCaml
149
174
camlp5
1 PR +1-1
OCaml
76
27
8
certint
1 PR +4-7
Coq
45
2
3
FpuKami
1 PR +296-239
Coq
6
2