masateruk - Repositories & Contributions | GitRanks

Badges

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

/masateruk

Badges

Overview
Ranks
Repositories
Languages

@masateruk

🇯🇵 Japan

Profile age: about 14 years

Updated 7 days ago

4 followers • 0 following

Contacts

http://www.asahi-net.or.jp/~hs7m-kwgc/

Repositories

38

0

updated over 10 years ago • age almost 14 years

OCaml94.4%

C3.5%

Makefile2.1%

Contributions

2016
model_checking_exercise
1 PR +749-0
Java
1
1