SUHARA Hiromichi

@suharahiromichi

Open GitHub

🇯🇵 Inuyama City, Aichi Pref. Japan

Profile age: over 13 years

Updated 15 days ago

15 followers • 0 following

Contacts

suharahiromichi@gmail.com

http://qiita.com/suharahiromichi

Profile Overview

Global Japan

Global Rank

Adept 4

Persona

Creator

#479,703

N/A

#941,213

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

coq

updated about 1 month ago • age over 13 years

Rocq Prover99.0%

Makefile0.8%

Perl0.1%

Emacs Lisp0.0%

doc

updated about 1 year ago • age almost 13 years

Scheme53.9%

Emacs Lisp46.1%

prolog

updated almost 2 years ago • age over 13 years

C90.7%

Coq9.3%

Subscribe to suharahiromichi's GitHub rank updates in your messenger

WhatsApp Telegram