SUHARA Hiromichi (@suharahiromichi)
github

suharahiromichi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    41
  • Global Rank 383,901 (Top 14 %)
  • Followers 12
  • Registered about 12 years ago
  • Most used languages
    C
         25.0 %
    OCaml
         25.0 %
    Scheme
         25.0 %
    Coq     25.0 %
  • Location πŸ‡―πŸ‡΅ Japan
  • Country Total Rank 7,289
  • Country Ranking
    Coq     6
    Scheme
         18
    OCaml
         154
    C
         1,430

Top repositories

1

coq

Coq Code
Coq
18
star
2

doc

Documents
Scheme
13
star
3

prolog

Prolog Code
C
5
star
4

agda

Agda2 Code
2
star
5

postscript

PostScript Code
2
star
6

ocaml

OCaml code
OCaml
1
star