Badges

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

/k16shikano

Badges

Overview
Ranks
Repositories
Languages

keiichiro shikano

@k16shikano

🇯🇵 Tokyo

Profile age: over 17 years

Updated 2 days ago

54 followers • 3 following

Contacts

k16.shikano@gmail.com

https://gist.github.com/k16shikano/a47db88fa048086cf67949fb795b827f

Repositories

45

0

updated 9 months ago • age almost 12 years

Haskell100.0%

40

3

updated over 1 year ago • age over 14 years

Scheme100.0%

19

1

updated over 4 years ago • age about 8 years

TeX100.0%

8

0

updated 10 months ago • age almost 8 years

PostScript100.0%

7

0

updated over 16 years ago • age over 17 years

Ruby100.0%

6

0

updated over 1 year ago • age over 10 years

Haskell100.0%

golden-lucky.github.io

0

0

updated over 7 years ago • age over 9 years

HTML100.0%

Contributions

2023
tapl-ja.github.io
1 PR +1-1
HTML
2
0
2022
support-ir-system
2 PRs +21-21
Python
5
1
2021
latex3
1 PR +1-1
TeX
2,053
207
182
ods
1 PR +2-2
TeX
388
30
building-search-system-book
1 PR +1-1
138
3
texlive-ja
2 PRs +8-8
TeX
26
1
2019
ods
2 PRs +20-21
TeX
388
30
md2pdf
1 PR +41-30
CSS
63
0
2018
ods
~47 PRs +197-190
TeX
388
30
cpdt-japanese
3 PRs +911-837
Coq
15
8