Gareth Kmet


Hello! My name's Gareth.
I am a mathematics undergrad at the University of Alberta.

Some of the languages that I know include (more to come soon)

 Java, Python, C/C++, C#, Powershell, Lean4, JavasScript


3D Java Game Engine
Using OpenGL

Mutidimensional Output
Perlin Noise

"Chiller"
2D Unity Game

 

Lean4 Formalization of
Augmentation Terminals