Bharathi Ramana Joshi

About

Hello! I am interested in programming languages. Stuff I've been upto recently (sorted by most recent):

Implementing a loop dependence analysis using MLIR's Presburger library.
Designing and implementing metaKanren, a pure logic programming langauge. metaKanren was Implemented using miniKanren, which is also a pure logic programming.

You can reach me at joshibharathiramana@gmail.com

I work as a backend engineer at my day job (see my resume).

Misc

My blog, where I mostly share what I've been learning recently.
Bazm-e-Khayal, where I manifest moments of creative inspiration.
GitHub