hemmi - Repositories & Contributions | GitRanks

Badges

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

/hemmi

Badges

Overview
Ranks
Repositories
Languages

@hemmi

🇯🇵 Tokyo

Profile age: almost 15 years

Updated 6 days ago

4 followers • 0 following

Repositories

10

0

updated over 10 years ago • age over 11 years

OCaml47.2%

Coq40.7%

TeX11.2%

Emacs Lisp0.5%

C0.4%

Contributions

2017
2015_training
1 PR +35-23
Ruby
0
1
2015
2015_training
~62 PRs +107-90
Ruby
0
1