bridgekat

Zhanrong Qiao's repositories

Voxel raycasting test.

Language:C++NOASSERTION14 10

Language:Rust7 10

Yet another Minecraft-one-week-challenge?

Language:C++NOASSERTION5 10

Lean 4 version of the filter game.

Language:LeanApache-2.0200

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

Language:AssemblyCC0-1.01 10

An Autosubst-like tool for handling de Bruijn indices.

Language:LeanCC0-1.01 10

SDL + OpenGL project templates

Language:C++1 20

Lean 3 formalisation of bare-bones CC_ω.

Language:LeanCC0-1.0010

C++ project template.

Language:CMakeCC0-1.0010

Large file storage for other repositories

010

Some random personal notes in Lean.

Language:Lean000