Zhanrong Qiao (@bridgekat)
github

bridgekat

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    31
  • Global Rank 479,903 (Top 17 %)
  • Followers 67
  • Following 30
  • Registered over 10 years ago
  • Most used languages
    C++
         42.9 %
    Lean     28.6 %
    Rust
         14.3 %
    Assembly
         14.3 %
  • Location πŸ‡¨πŸ‡³ China
  • Country Total Rank 48,393
  • Country Ranking
    Lean     5
    Assembly
         759
    Rust
         828
    C++
         4,119

Top repositories

1

vxrt

Voxel raycasting test.
C++
14
star
2

zenith

Rust
7
star
3

NEXWorld

Yet another Minecraft-one-week-challenge?
C++
5
star
4

filter-game

Lean 4 version of the filter game.
Lean
2
star
5

sdl-opengl

SDL + OpenGL project templates
C++
1
star
6

leansubst

An Autosubst-like tool for handling de Bruijn indices.
Lean
1
star
7

c-project-extension-group-48

Our extension part for the first year C group project at Imperial College London Department of Computing
Assembly
1
star