Yunxing Dai (@yunxing)
github

yunxing

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    61
  • Global Rank 296,700 (Top 11 %)
  • Followers 152
  • Following 60
  • Registered over 13 years ago
  • Most used languages
    Python
         35.3 %
    JavaScript
         23.5 %
    Shell
         11.8 %
    Verilog     5.9 %
    Erlang
         5.9 %
    Go
         5.9 %
    Haskell
         5.9 %
    Java
         5.9 %

Top repositories

1

opam-npm

convert opam packages to npm
Python
8
star
2

reason-bin

All binaries related to Reason
Shell
6
star
3

Freewifi_in_CAN_PEK_PVG

generates authCodes to be used in Guangzhou Baiyun internation airport
Python
4
star
4

Hive_optimization

improve join speed of hive
Java
4
star
5

Irc

Irc is a monadic DSL and library for writing Irc bots
Haskell
4
star
6

pylox

Python
3
star
7

imbalism.github.com

JavaScript
3
star
8

finance-725

2
star
9

TrendyCon

Connect people through chat and twitter trend
2
star
10

reason-cross-compile-armv7-32

Dockerfile that cross compiles reason to armv7
2
star
11

substs

Replace opam variables like {% version %} with environment variables
Shell
2
star
12

git-find-file.el-

Find files in a git project quickly. Sort them by last modified time
2
star
13

Final

Verilog
1
star
14

gitmony

Python
1
star
15

flock

JavaScript
1
star
16

Bridge

A project aimed at connect renren.com (inside Great Fire Wall) and twitter.com(outside Great Fire Wall) through chat
Python
1
star
17

try_git

1
star
18

fetcher

Go
1
star
19

Micila

JavaScript
1
star
20

Imagine

Erlang
1
star
21

reason-cross-compile-x86-32

1
star
22

MuseQ

Python
1
star
23

flow

time flows like a river
JavaScript
1
star