Thomas Zhu (@hanwenzhu)
github

hanwenzhu

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    49
  • Global Rank 345,029 (Top 12 %)
  • Followers 31
  • Following 26
  • Registered over 7 years ago
  • Most used languages
    Python
         60.0 %
    R
         20.0 %
    Lean     20.0 %
  • Location ๐Ÿ‡ฉ๐Ÿ‡ช Germany
  • Country Total Rank 29,123
  • Country Ranking
    Lean     14
    R
         1,035
    Python
         3,039

Top repositories

1

.DS_Store-parser

Parses everything from the .DS_Store files generated by macOS
Python
39
star
2

primality-tests

Millerโ€“Rabin primality test in Lean
Lean
5
star
3

mir-tcga-ccle-paper

R
2
star
4

mitsuku-api

Mitsuku is a chatbot. This is an unofficial Python API for Mitsuku.
Python
2
star
5

codingbat-writer

Neural network that writes code for https://codingbat.com/python.
Python
1
star