Pinned Repositories
AutoEscape
AutoEscape is a VSCode extension that allows you to escape special characters when working with strings.
BrownianMotion
Simulating stock price movements with Brownian Motion.
CLisp
Writing a Lisp Compiler in C
Forcaml
A formal verification of the OCaml type system, written in Coq.
GDScriptToCPP
A wrapper class to expose GDNative C++ functions to GDScript when compiling with Emscripten.
PyMNIST
A convolutional neural network to classify characters from an MNIST dataset using PyTorch.
mguddeti's Repositories
mguddeti/AutoEscape
AutoEscape is a VSCode extension that allows you to escape special characters when working with strings.
mguddeti/CLisp
Writing a Lisp Compiler in C
mguddeti/BrownianMotion
Simulating stock price movements with Brownian Motion.
mguddeti/Forcaml
A formal verification of the OCaml type system, written in Coq.
mguddeti/GDScriptToCPP
A wrapper class to expose GDNative C++ functions to GDScript when compiling with Emscripten.
mguddeti/PyMNIST
A convolutional neural network to classify characters from an MNIST dataset using PyTorch.
mguddeti/cmath
Writing implementations for math.h because C is fun and hard
mguddeti/mguddeti
Config files for my GitHub profile.