Timothy Mou (@tmoux)
github

tmoux

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,106,139 (Top 39 %)
  • Followers 2
  • Following 1
  • Registered almost 7 years ago
  • Most used languages
    C++
         40.0 %
    Coq     20.0 %
    Python
         20.0 %
    Haskell
         20.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 201,110
  • Country Ranking
    Coq     200
    Haskell
         2,100

Top repositories

1

AdventOfCode-23

C++
2
star
2

prog-contests

C++
2
star
3

nominal-wyvern

Haskell
2
star
4

coq-pl

Coq
1
star
5

lateral-cast-stats

Transcripts and statistics for https://lateralcast.com/
Python
1
star