Kazuki.Iida (@elkel53930)
github

elkel53930

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Rank 731,706 (Top 26 %)
  • Followers 18
  • Following 6
  • Registered almost 8 years ago
  • Most used languages
    Rust
         40.0 %
    C++
         20.0 %
    Python
         20.0 %
    Haskell
         20.0 %
  • Location πŸ‡―πŸ‡΅ Japan
  • Country Total Rank 13,604
  • Country Ranking
    Haskell
         487
    Rust
         603
    C++
         4,111
    Python
         8,548

Top repositories

1

micromouse-std-esp32

Rust
6
star
2

extraice4

4
star
3

micromouse-esp32

Rust
3
star
4

arduio

arduino nanoγ‚’IOγƒœγƒΌγƒ‰εŒ–γ™γ‚‹
C++
1
star
5

pyctrl

Pythonγ«γ‚ˆγ‚‹εˆΆεΎ‘ε·₯ε­¦ε…₯ι–€
Python
1
star
6

prohl

Prover with Hoare Logic
Haskell
1
star