Ryuya Nakamura (@nrryuya)
github

nrryuya

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,106,139 (Top 39 %)
  • Followers 56
  • Registered about 8 years ago
  • Most used languages
    Python
         50.0 %
    OCaml
         50.0 %
  • Location 🇯🇵 Japan
  • Country Total Rank 16,094
  • Country Ranking
    OCaml
         194
    Python
         3,236

Top repositories

1

cbc-validator-rotation

Simulator of validator rotation in CBC Casper
Python
7
star
2

eth_semantics

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
OCaml
1
star