Shin Saito (@shinsa82)
github

shinsa82

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,429,452 (Top 50 %)
  • Followers 1
  • Registered almost 12 years ago
  • Most used languages
    Lean     50.0 %
    Python
         50.0 %
  • Location πŸ‡―πŸ‡΅ Japan
  • Country Total Rank 19,107
  • Country Ranking
    Lean     7
    Python
         8,504

Top repositories

1

lean-devcontainer

Dev Container of VSCode for Lean (v4)
Lean
2
star
2

tech-memo

My memo for IT tech.
1
star
3

red-handson

Blockchain Hands-on at the Research Experience Day event by IBM Research-Tokyo
1
star
4

pycheck

Python refinement type checker by random testing
Python
1
star