bridgekat

😇 I am an undergraduate student, interested in creating semi-automated theorem provers...

@ImperialCollegeLondon

Pinned Repositories

c-project-extension-group-48
Our extension part for the first year C group project at Imperial College London Department of Computing
Language:Assembly1 1 00
calculus-of-constructions
Lean 3 formalisation of bare-bones CC_ω.
Language:Lean0 1 00
cmake-new
C++ project template.
Language:CMake0 1 00
filter-game
Lean 4 version of the filter game.
Language:Lean20
leansubst
An Autosubst-like tool for handling de Bruijn indices.
Language:Lean1 1 00
NEXWorld
Yet another Minecraft-one-week-challenge?
Language:C++5 1 00
sdl-opengl
SDL + OpenGL project templates
Language:C++1 2 00
vxrt
Voxel raycasting test.
Language:C++14 1 00
zenith
Language:Rust7 1 00
NEWorld
NEWorld is a free game with similar game rules to Minecraft.
Language:C++116 32 7928

bridgekat's Repositories

bridgekat/vxrt
Voxel raycasting test.
Language:C++14 1 00
bridgekat/zenith
Language:Rust7 1 00
bridgekat/NEXWorld
Yet another Minecraft-one-week-challenge?
Language:C++5 1 00
bridgekat/filter-game
Lean 4 version of the filter game.
Language:Lean20
bridgekat/c-project-extension-group-48
Our extension part for the first year C group project at Imperial College London Department of Computing
Language:Assembly1 1 00
bridgekat/leansubst
An Autosubst-like tool for handling de Bruijn indices.
Language:Lean1 1 00
bridgekat/sdl-opengl
SDL + OpenGL project templates
Language:C++1 2 00
bridgekat/calculus-of-constructions
Lean 3 formalisation of bare-bones CC_ω.
Language:Lean0 1 00
bridgekat/cmake-new
C++ project template.
Language:CMake0 1 00
bridgekat/files
Large file storage for other repositories
0 1 00
bridgekat/lean-notes
Some random personal notes in Lean.
Language:Lean00