juda - Repositories & Contributions | GitRanks

Badges

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

/juda

Badges

Overview
Ranks
Repositories
Languages

@juda

🇭🇰 Hong Kong

Profile age: almost 13 years

Updated 14 days ago

94 followers • 24 following

Contacts

judaplus@gmail.com

Organizations

Repositories

Recursive-Subtyping-for-All

9

1

updated over 1 year ago • age about 3 years

Coq99.9%

Makefile0.1%

Contributions

2022
tvm
2 PRs +1,160-284
Python
12,804
3,693
23
2020
hkuplg.github.io
3 PRs +34-29
HTML
8
6
2014
holdem
1 PR +15-9
C++
2
4