Kohei Suenaga (@ksuenaga)
github

ksuenaga

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 920,445 (Top 32 %)
  • Followers 16
  • Following 7
  • Registered over 13 years ago
  • Most used languages
    TeX
         66.7 %
    OCaml
         33.3 %
  • Location 🇯🇵 Japan
  • Country Total Rank 13,604
  • Country Ranking
    OCaml
         82
    TeX
         85

Top repositories

1

winskel-textbook-jp

Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト
TeX
7
star
2

kuisthesis-template

TeX
5
star
3

HybridPDR

Hybrid system verification using PDR/IC3
OCaml
4
star