Yaozhu Sun (@yzyzsun)
github

yzyzsun

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    58
  • Global Rank 307,272 (Top 11 %)
  • Followers 107
  • Following 107
  • Registered about 10 years ago
  • Most used languages
    Swift
         25.0 %
    Ruby
         25.0 %
    Coq     12.5 %
    JavaScript
         12.5 %
    C++
         12.5 %
    Java
         12.5 %
  • Location ๐Ÿ‡ญ๐Ÿ‡ฐ Hong Kong
  • Country Total Rank 886
  • Country Ranking
    Coq     1
    Swift
         27
    Ruby
         53
    Java
         112
    JavaScript
         188
    C++
         425

Top repositories

1

PyJS

A minimal Python interpreter written in JavaScript
JavaScript
24
star
2

CP-next

The Next Generation of Compositional Programming
Coq
21
star
3

CurriculaTable

A flexible curricula timetable written in Swift
Swift
13
star
4

truffle-erlang

Erlang implementation built on GraalVM/Truffle
Java
13
star
5

ArduinoBluetoothMusicPlayer

Arduino music player BLE remote control on iOS
Swift
6
star
6

othello-ai

Othello AI using negamax search with alpha-beta pruning
C++
2
star
7

wego.rb

Weather app for command line
Ruby
2
star
8

tango

Let's remember more vocabulary!
Ruby
2
star