Taiju Tsuiki (@tzik)
github

tzik

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Rank 1,188,248 (Top 42 %)
  • Followers 18
  • Following 5
  • Registered over 13 years ago
  • Most used languages
    C++
         16.7 %
    JavaScript
         16.7 %
    Agda     16.7 %
    Coq     16.7 %
    Python
         16.7 %
    Shell
         16.7 %
  • Location 🇯🇵 Japan
  • Country Total Rank 16,936
  • Country Ranking
    Agda     12
    Coq     42
    C++
         3,264
    Shell
         3,965
    Python
         5,373
    JavaScript
         7,658

Top repositories

1

cocoa-dump

Python
2
star
2

top-prover

Coq
1
star
3

math

Agda
1
star
4

tzik.jp

1
star
5

tzik.github.io

JavaScript
1
star
6

dev

Shell
1
star
7

websat

A MiniSat port to WebAssembly
C++
1
star