Skip to content
View mguddeti's full-sized avatar
😇
debugging enthusiast
😇
debugging enthusiast
  • Bloomberg
  • Somewhere between Houston and New York City
  • LinkedIn in/mguddeti

Highlights

  • Pro

Organizations

@TexasTorque

Block or report mguddeti

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
mguddeti/README.md

Milan Guddeti

CS and Mathematics @ Texas A&M

My work is in low-latency software and distributed systems. Broadly, my interests include computer architecture, operating systems, compilers, big-data processing, event streaming, data storage & caches, and distributed networking.

I will be joining Bloomberg next summer in New York City. I have previously worked for MongoDB.

My work is private.

Pinned Loading

  1. GDScriptToCPP GDScriptToCPP Public

    A wrapper class to expose GDNative C++ functions to GDScript when compiling with Emscripten.

    C++

  2. Forcaml Forcaml Public

    A formal verification of the OCaml type system, written in Coq.

    OCaml