Xi Wang (@xiw)
github

xiw

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    577
  • Global Rank 51,069 (Top 2 %)
  • Followers 231
  • Registered over 13 years ago
  • Most used languages
    C
         33.3 %
    Lean     11.1 %
    JavaScript
         11.1 %
    C++
         11.1 %
    Python
         11.1 %
    Ruby
         11.1 %
    Assembly
         11.1 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 13,528
  • Country Ranking
    Lean     35
    Assembly
         131
    C++
         1,010
    Python
         8,205
    C
         9,157

Top repositories

1

stack

A static checker for identifying unstable code.
C++
359
star
2

mini-mc

minimal symbolic model checker & fuzzer
Python
111
star
3

libo

Integer arithmetic with overflow detection
Assembly
72
star
4

arithcc

Lean
13
star
5

homebrew-jos

Ruby
6
star
6

sparse

C
4
star
7

splay

sparse => llvm
C
3
star
8

jos-15au

CSE 451 15au
C
2
star
9

sky

A JavaScript library for visualizing celestial objects.
JavaScript
1
star