SaurabhTotey
Follow
Stars
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
binary releases of VS Code without MS branding/telemetry/licensing
A refreshingly simple data-driven game engine built in Rust
A simple and fast linear algebra library for games and graphics
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
A web-based collaborative LaTeX editor
Open source RGB lighting control that doesn't depend on manufacturer software. Supports Windows, Linux, MacOS. Mirror of https://gitlab.com/CalcProgrammer1/OpenRGB. Releases can be found on GitLab.
A fast text renderer for wgpu (https://github.com/gfx-rs/wgpu)
A mod to make and play Terraria mods. Supports Terraria 1.4 (and earlier) installations
Godot Engine – Multi-platform 2D and 3D game engine
The best React-based framework with performance, scalability and security built in.
My portfolio website. Has been through many iterations and versions of what it is supposed to be. Is now an attempt to make a clean, accessible, and 'minimal' static website.
A backend for a multiplayer game of snake for Fairview Code Club's Code Kata on October 22, 2018 and October 29, 2018.